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
MD5	5777B06945327966BCCE14E17A1CE217
PackageArch	aarch64
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 parameterized 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.
PackageMaintainer	Fedora Project
PackageName	Agda
PackageRelease	30.fc34
PackageVersion	2.6.1
SHA-1	0E4D4D36C6414CD1EF816AB632D904407DD7EFC1
SHA-256	7C272684273F9F1D45E1A05E24ABB82CB4CEEE568D7C96296F955E3B11C50C56

Key	Value
FileSize	38088112
MD5	0C18D5EF837A85AA1AE064BBEDD396E4
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.6.1-1+b3
SHA-1	0F878188DAAA2080568D1D78BA9A0BFFF6F10FCB
SHA-256	E10C726C9C1804873A80EA965D579BA11ABCD2305744A0807030A7F054D2107E

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//agda-2.6.1.2-41-x86_64.pkg.tar.zst
MD5	41AD8F3145809187DCC98E0CFFDBF88C
SHA-1	11572B89890552CDB7C877AA1807678861ED9B94
SHA-256	DC051BF07378BA8669CC4993CA03EA987409B0F0423FAF096937D36E0F86DC37
SSDEEP	786432:fHZ0Vm0UOrE1iu7Sn2JutwBZEkq7w40pA6U:+VaA2JVZEk+90p2
TLSH	T1DE573372BD540ACB480FA16DAC9FC0EEBEB179522514AE15C21F66569C0879CEB4FCF0

Key	Value
FileSize	57990816
MD5	4AB11FEAB32442BC7B0D4854EFB8FD2D
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.6.1-1+b3
SHA-1	11D8B93027080E2A596C732CA58370C9D31BA064
SHA-256	8177E67DF94971CAF5EDC7EB6CD0B15897236B60FA3FBFB68400DEB8B1EF465A

Key	Value
MD5	6D1A6D85266C8CB2A99E07FEE878885F
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 parameterized 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.
PackageMaintainer	Fedora Project
PackageName	Agda
PackageRelease	30.fc34
PackageVersion	2.6.1
SHA-1	29E757E8D33937BAE129FA89C30699962E38B217
SHA-256	C30F3075B376FE7CD05511ADEB7E8C5D595A4479B49A80AF245B752407F6E7E9

Key	Value
MD5	BEA32CF4C5302AF806042983AF2D7229
PackageArch	armv7hl
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 parameterized 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.
PackageMaintainer	Fedora Project
PackageName	Agda
PackageRelease	28.fc33
PackageVersion	2.6.1
SHA-1	3D29C39B884968085485A87F8115AFADF4911FD1
SHA-256	CB7B90F16365437B95D858C5DF82F6DEA3FD8B36582E0CFD0231643BE9E3D01E

Key	Value
FileSize	55865268
MD5	1217FA6AB21423CD00A235554A7062B2
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.6.1-1+b2
SHA-1	46D3E6F146BB7B4353EFE102740727F1CAEF28CB
SHA-256	5D3D0FD0C3AD9CABF3BAC3970FCC5285464B606C807D6143D1692C9AFCECEE6F

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//agda-2.6.1.3-9-x86_64.pkg.tar.zst
MD5	9F0C59D9FAE86EC4D9B720006F5DD8F7
SHA-1	474F66B9DA3A15A0D229AE50BC9B305F81A1D2FA
SHA-256	0279952CA88D6ACA7C3B384D3E0D32AC612F0FAADC308E619D5B4D59C033FFE8
SSDEEP	393216:qkdpjMNckhxfOEzk7+d3vYQdb8J47OJG2hJqbWVSzTVcTXnGf3zXt5XgTgwYJZXE:qkrcH5k7EvBdTOJLTlSNcTXnejdOcCl
TLSH	T1405733B963E2443961488C4FD5B5E4B68BD1E891D3728995BB109C83F837BF1C39E4B2

Key	Value
FileSize	37928612
MD5	D9B2F80C93D9B06967016524BAB748FA
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.6.1-1build1
SHA-1	5F5B02E9161B0ECB133D03C0AFB872BE778C236B
SHA-256	850CFD1692FCEF2BABA6FF4E0BC0E861D6E9069E5805A83D716CE51BB97D45F9

Key	Value
MD5	A95D78BB17DCAFB07B0413663B2FD69C
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 parameterized 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.
PackageMaintainer	Fedora Project
PackageName	Agda
PackageRelease	28.fc33
PackageVersion	2.6.1
SHA-1	66F8F396B6F369479C0AB685F7183F9A9724D228
SHA-256	B32AF34182B2067FC89D560300C04249D789AE710094FCC0C8B3AFF3F24B6CA7