Parents (Total: 20)

The searched file hash is included in 20 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	23023192
MD5	92A24CBABB78CAB420F02B14BB046E4C
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	099FC7830E1537A9B08EEFE27E259043438C6127
SHA-256	25E55478C0CC4FA673E162BC97869AB3D56F04837DBD8C79D02D0C4C46E88BDF

Key	Value
FileSize	9713832
MD5	7AEB528C8D37375FB889139076AF2B81
PackageDescription	commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	3E9A1C8824EF60C491A88789085F2783E3479F85
SHA-256	AF4FDF4FCF67940BC76C19207E95058104BC0753A0E662D050E095E0C3FB0F96

Key	Value
FileSize	11195152
MD5	DCC64F85E2ED823841EB7647E08FDCAD
PackageDescription	commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	60D27E8709AA6CE27942FA0D7234F9D4C5DAE8B8
SHA-256	05F5DF76730498DF02A8F11ABCE87CA1C346101F4A45EF06D4331E7811DA5FEA

Key	Value
FileSize	24534680
MD5	0E5352C3C0214AC883E70B1A756357C7
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	6A2BE561E7C941F7C0B217A2AAA76DFBEC58CFFA
SHA-256	3170217B945FE98125EB8B17423964D97C001F8699791E149A4A9B9285D22CE9

Key	Value
FileSize	117680
MD5	6CA01428ECDAF733B3DEF94941DC829A
PackageDescription	transitional dummy package for elpa-agda2-mode agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-mode
PackageSection	oldlibs
PackageVersion	2.5.4.1-3
SHA-1	8D28581F0D81E7A8FC0F04CEF99BB1D4B2F4E074
SHA-256	C5DCFBF6E895CDCE4E5C4E561AD71A8EC70248E481D4F90CB2899EE7CE466786

Key	Value
FileSize	17170668
MD5	B72791D58BAFADE7FA35BB3768C17212
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	906607450657452FEDFB7246EC0F103AD8CA94D7
SHA-256	741DF47657F91D8814A93608A8A4955D76F1365060B0F2574490280E3D2B3471

Key	Value
FileSize	16797896
MD5	5F19E05CC5E8A6173D99C358E7F48670
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	964489B7E00D5812BA359A3E26EDABF0A0CF9494
SHA-256	454E3F11DD0727B6E149B6D443C8B606D523C553B261BDD401EF8364675AFC26

Key	Value
FileSize	22344884
MD5	EDC75AD987DD13786791329C61470FFE
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	B5D27B0A84D9404305A23F5042DEF23CB7F155AB
SHA-256	8858858347261439146F8E6D819D4C0ED7FDD6BB151E2B67CBE62294C0BBACF5

Key	Value
FileSize	5868440
MD5	19C7318C4648B7046F19527104D1AA91
PackageDescription	commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	B7AF8C8D6D83E70F3A0DCC12043DA4A5C761D3E9
SHA-256	BF1952F4615C2FE085EA169CAA2FDF540FD1C8BEFE780303F3BEA0C871A1DFF2

Key	Value
FileSize	25980740
MD5	42D270793B255BFB0CF0954A7D0EF4F1
PackageDescription	dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3+b1
SHA-1	BDA3B6A748E92E4260C9327088E4D26501A3B8FE
SHA-256	60023B083DDAB512FFDDFF8B990025C40E75A0692B7169499C687D9201879860