Parents (Total: 23)

The searched file hash is included in 23 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
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
MD5	F5CEF03A75240436F31932A158B1F453
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	21.fc32
PackageVersion	2.6.0.1
SHA-1	260B42E4074F93F6B22EE6128B94E8A8EAD44531
SHA-256	4281A4D5209C8C93CFE738A096B73FE162A17F63454E7F4E6C2B1BCC6F906619

Key	Value
FileSize	40852
MD5	3F490A99AB3402920ECFC0F902255D82
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	elpa-agda2-mode
PackageSection	editors
PackageVersion	2.5.3-3build1
SHA-1	26F5D065494E67791F4470427937C1B34DBFFE89
SHA-256	0A529F8576860EC9BCFA0624F4D557F45ED4326ADA3AE5864ACCE235E259635C

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
FileSize	41824
MD5	22FAEDA70EB35A0857F4CF8B05E2FFD5
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	elpa-agda2-mode
PackageSection	editors
PackageVersion	2.6.0.1-1build2
SHA-1	2B18696CB998BC64F3BDE5232EED38073BD6F34D
SHA-256	E95CD5CB9556858C52F363D6412B4AB95E9142F8B654298D026E32C20C022723

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	40754
MD5	DE746F2CF2A2DF1054C99CC85018FBEB
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	elpa-agda2-mode
PackageSection	editors
PackageVersion	2.5.2-2build1
SHA-1	33CCB3678AF477417D1E4785D47078490C43737E
SHA-256	EC2CCF4548997ED0470C999E59E546F2FD651FD4AAF2B1C2F026CFC2DD772E10

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
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