Parents (Total: 7)

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

Key	Value
MD5	A790DEE64D866BE6F4931DACB13A207D
PackageArch	aarch64
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	5.fc23
PackageVersion	2.4.2.2
SHA-1	9FEAAE9EBCF55BD88907C8B9E92F7C87CE5AEDCC
SHA-256	18B66B9E90C1B8F995B34260AB59636F60BDF0FC0E7E9C9398DB92B4E0AA889D

Key	Value
FileSize	2029482
MD5	5E043505BCB1939FF604849269195446
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-doc
PackageSection	doc
PackageVersion	2.4.2.2-4build1
SHA-1	2F00AA5F3F16072433473A74C50F149AC38D2E16
SHA-256	5F33AB586DAF9C4BDB97C5C56985FA7C84C48F3D21B901C567242F37B5B6D138

Key	Value
MD5	A55AF0C3221C527BA0F568F39926C631
PackageArch	ppc64le
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	5.fc23
PackageVersion	2.4.2.2
SHA-1	FA844CF3DEA9BFE0B02D047A8965F52E5435F91B
SHA-256	C42C35E51E2862D545B6A46CAD2ED1C6CAA8B14CEB932DC596BE11CE2212FF69

Key	Value
MD5	F4D126A6B0EE9F83608E3FF453523555
PackageArch	ppc64le
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	6.fc24
PackageVersion	2.4.2.2
SHA-1	A4DAA37E7F61D613AD229F190B233AD071CFE1FA
SHA-256	98F51E1D4FA0A9BB5C1B4727B6E0DE9A35E61B0F1BDD4BD32640F290D7432482

Key	Value
MD5	4439026C1C6FF78463F51194537A6551
PackageArch	aarch64
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	6.fc24
PackageVersion	2.4.2.2
SHA-1	2E10F181B50D93A6317E05FABBB3CE580E006179
SHA-256	60DB5E8A2A0D3665A535B7258A81722334FA953478D878C31E018DB52DC61B89

Key	Value
MD5	0B04AC93FB31476F9BBA8E499B17DB36
PackageArch	ppc64
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	6.fc24
PackageVersion	2.4.2.2
SHA-1	01E12C0D8A8455665D05F0FDBCB9FE096326BB3A
SHA-256	555E665020B9D998E423A758F4F1EFA78A84724A65EE92E2824E514CBCEEE0A7

Key	Value
MD5	3DF79E8D19925B7E1691D77E683C70B1
PackageArch	ppc64
PackageDescription	This package provides the Haskell Agda library development files.
PackageMaintainer	Fedora Project
PackageName	ghc-Agda-devel
PackageRelease	5.fc23
PackageVersion	2.4.2.2
SHA-1	5E66C12F877461F2B107EACD4E96ABA92145CFE5
SHA-256	7FF10EACE482AC79ED7B322C5E73390D0D5A710D66F3E986F69E4A77C2A7E885