Parents (Total: 6)

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

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
MD5	256F5E6109E945BF1AEB0B3F99BD479F
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	28.fc33
PackageVersion	2.6.1
SHA-1	B1548AD41DC0E61FBC0489D7678446FCCB9856C4
SHA-256	F1B4DF65B58A7C9BD3C357A8CED33484E1C1CD7A5BB993DCAC5F642D68357141

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

Key	Value
MD5	DE011CAA3C3E1E68518653257C472A93
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	30.fc34
PackageVersion	2.6.1
SHA-1	D9496C1555CA41D901625BF7B9075CD79AB4B1A3
SHA-256	BB085C5D24D6EBAA490AF7BC72B441C5B4CD4B27C91618A2F6EC3BFC842AA95A

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