Parents (Total: 14)

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

Key	Value
FileSize	11279094
MD5	3326AC28C682D3907CA9067F168B73FD
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.1.1-3+b3
SHA-1	C41B2B578FE9F1A6AF5F1A9B5DE77599D937C9D8
SHA-256	6AD59558853AEF1D839CD5984DCC1B74767460579AA42B0DF5439FACE26DD530

Key	Value
FileSize	19078044
MD5	55AD30C420D35ABCFDFAE33595078E78
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.1.1-3
SHA-1	1E8643887401FC26923A02CEB5BD827961908D70
SHA-256	733A7ED1C06FDC3FCC4567B9677E521ADEE44D78B5F3DEB0396DAD2C4965ECA4

Key	Value
FileSize	115256
MD5	E269B3CA2F98E6FE9F217CFCAD8E7A1B
PackageDescription	dependently typed functional programming language — emacs mode 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 contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	elpa-agda2-mode
PackageSection	editors
PackageVersion	2.5.1.1-3
SHA-1	643D06CA0664726A1DA216F856E3342659C999EC
SHA-256	C812023053C2A082C3AD470FE5B5FA23BC674E4FA251F1C7A81EEE5B19D3409D

Key	Value
FileSize	19759946
MD5	FDF01A37DE7469C72255EFBB174BEBEE
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.1.1-3+b3
SHA-1	D4EEF5CEC56C0EE6F2739EEFCB394186B5C02E8D
SHA-256	445AC7670452BC42D5915789A3DC1AB178266658B0BE48391D104C0E5CB022E9

Key	Value
FileSize	6169260
MD5	A9149A4F33F9E5CAF84E33EFB09C2BFB
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.1.1-3+b3
SHA-1	D6E33EA94B824A086B0F27B423AC7DBA1E41F574
SHA-256	1A9B1D69AE4DC79E4C21170CF9E4CE6AF16CCC3088CB2A3C377B4B8CC9278747

Key	Value
FileSize	6301232
MD5	A9AF3E1436F89A042BEF635DCB80D130
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.1.1-3+b3
SHA-1	E5D4E48688D9BA5BC5412A35E53898CA795F9D76
SHA-256	01830D63B591A4DABD6B9452F339CB2BE4E06066269FC546D3EDB710693232E4

Key	Value
FileSize	22242894
MD5	5F0E338BE3C8786560654CFC6BC7F332
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.1.1-3+b3
SHA-1	FF5F4899FE9A7C80DA72D1AC839E4622C7F04EED
SHA-256	8634532ED00567EE22849FCCBEAAAF33335662ACB5CE5CF9E780F51E94FD3CC0

Key	Value
FileSize	2649336
MD5	2E01F07A198753A99486B11BB50F8A06
PackageDescription	dependently typed functional programming language; documentation 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 the documentation for 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-doc
PackageSection	doc
PackageVersion	2.5.1.1-3
SHA-1	1FD4076A51ECB6E75E00CE184F0E007C8A2B2EF2
SHA-256	A24383CF8D920131892A0FA5E17F38945E5C29CBBDDDAC33540280DA03AC8441

Key	Value
FileSize	12846156
MD5	4640039F72F1C3461064962C532B9993
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.1.1-3+b3
SHA-1	5141EC53567DB02993DAC92C07F8546C2732EA3C
SHA-256	4E8326CB810323B59ED8FCD0EB7E7FA5010A1050DD246192F5EC2617E2A32369

Key	Value
FileSize	9931934
MD5	F0394CD1E52BF05B240F725B6D85E6B1
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.1.1-3
SHA-1	8004E32C19C7E5643B6AB26CBF370D1E351E8F87
SHA-256	410DF3D56958EC88EE7EEE8F272E5495C565A81660D15F2E846BB24F6E50065F

Key	Value
FileSize	14325888
MD5	430DB07A2C22C23371BE60C214113F07
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.1.1-3+b3
SHA-1	508494F60238D733102ED94073650C6720D91902
SHA-256	F872288DB980B0C0641F257294522DFB07762F3D1048A23AC1F356AD6CAAAC9F

Key	Value
FileSize	79668
MD5	E9A035C62871871E27C2527CA6ED1903
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.1.1-3
SHA-1	6CE0198F032705EF893019280558EF1D301B808D
SHA-256	A40F83AA544362301E2B4F1B1495158B3E2F356CBE49D5B9FA841EF1C5ED2378

Key	Value
FileSize	80092
MD5	A7ACF27C75A5015B675F110DFD3BEA6B
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 is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda
PackageSection	misc
PackageVersion	2.5.1.1-3
SHA-1	61579D87204330520ACA33BC79E5FB299F38DF5B
SHA-256	D81768DD080DB06518518D1218DF31BE3EE642CF8A708DD405D4C56497D830B3

Key	Value
FileSize	26209798
MD5	C3FC838F178F163511143F78A1D7CF47
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.1.1-3+b3
SHA-1	1B229F2178D8C303F8A67E1A1AE814DA8FB44AB5
SHA-256	698E5EE4A96DC8C6CDEE9D5973DE29AFA4DDE3F3714B57E28F050CC5E41B619F