Parents (Total: 15)

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

Key	Value
FileSize	25671636
MD5	D392D5EFE4C90B3FC589669BDD4CF405
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3
SHA-1	A6E453984D3D2F555DAC31C8839EC635DEC16798
SHA-256	14AC2E05CB7A2AF74EABF4AB9DE17B2340539ACD859E77BD6CCACC5B7FC022E6

Key	Value
FileSize	19737352
MD5	22F0627B1C05BC23FB07D173E0FE6553
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	EE808D68B4AC19CFEE54367A607B6286DC84FEBF
SHA-256	7FD8A5899692698224597F0593A05A17EDE6C4C5030732B05F8E7AE61734501D

Key	Value
FileSize	19622728
MD5	F16A630960AEBC33E72D3EF210C92BA3
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3
SHA-1	793EB243ACD0EB9A4231AC88BB15B78011A969B1
SHA-256	C7C2FA4325F1B021F1694AFD25FA3EA780B0B7BD719E0DCDFA6121231A2F9BD3

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

Key	Value
FileSize	17044804
MD5	4AE82C8610405B2D8547C2F89C25C2BB
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3
SHA-1	4BF7ED06FF7BD13EF2D69BB690212122A6D38E6A
SHA-256	3B9E9BFDC6FD42A8C7CDC82A2E06A1DEC7566DBD4175A14575BE82390E2B7733

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
MD5	32E11682BB55ED686A8A792337A83664
PackageArch	x86_64
PackageDescription	Agda is a dependently typed functional programming language: It has inductive families, which are similar to 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 includes both a command-line program (agda) and an Emacs mode. If you want to use the Emacs mode you can set it up by running 'agda-mode setup' (see the README). Note that the Agda package does not follow the package versioning policy, because it is not intended to be used by third-party packages.
PackageName	Agda
PackageRelease	lp150.1.2
PackageVersion	2.5.4.2
SHA-1	306EE61D61D0E2DE7D414331A867F247DC48329D
SHA-256	7F961B4B99BF1CC0287DA2A679354F556507A6EA5386EC79845D14D0C38A11AA

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	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	16687972
MD5	C9BEB54C25C4768C9BCB956EDDA7C2DA
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3
SHA-1	B44D418FF4880A1165CE9BA73CEA9FA557149D0A
SHA-256	79A2AB58733CB5ECE6577AB5D1DEDD67B2643367F4360A255F2AA3167650F000

Key	Value
FileSize	24536388
MD5	C7ED7DCA30FF65D94045695B1FF9ECD7
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	E90239BE6EE4B8D31ADEC7C96F22F7131ABDEA88
SHA-256	C74974CA221D528A44FB1104AFC7E8B11BC9EC8D5AB49EA9C7E70C133D1035CB

Key	Value
MD5	AC2946B6BADE2D10352E825A20AE0CF6
PackageArch	x86_64
PackageDescription	Agda is a dependently typed functional programming language: It has inductive families, which are similar to 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 includes both a command-line program (agda) and an Emacs mode. If you want to use the Emacs mode you can set it up by running 'agda-mode setup' (see the README). Note that the Agda package does not follow the package versioning policy, because it is not intended to be used by third-party packages.
PackageName	Agda
PackageRelease	1.10
PackageVersion	2.5.4.2
SHA-1	D67B92B5B6FE431E0A9EA7788DDB5383509D1148
SHA-256	7B3C4C11AFD5F871313D7A11B8B7D2B845BD563BFD5E274487D52FC271298BCA

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	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	24464984
MD5	C4D5DDC7A937F022DABE9E9C7A1CC8E4
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.5.4.1-3
SHA-1	76B6C327A09149FDCC27D94A71FAC41387A8995A
SHA-256	772E13AFCE7C26518B2CBC831427D0A4DCDDD4F843B89EF0CFC61F864AE8E9EC