Parents (Total: 11)

The searched file hash is included in 11 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
FileSize	2649336
MD5	2E01F07A198753A99486B11BB50F8A06
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	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-agda-doc
PackageSection	doc
PackageVersion	2.5.1.1-3
SHA-1	1FD4076A51ECB6E75E00CE184F0E007C8A2B2EF2
SHA-256	A24383CF8D920131892A0FA5E17F38945E5C29CBBDDDAC33540280DA03AC8441

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
FileSize	2184422
MD5	8F1A685528A3B5E8AE55E11670F05277
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.5-1build1
SHA-1	4C182B5383348681E5348C9D8AE1AFFF2F80E628
SHA-256	3DBB45F4254DAAA7DCD5325BCA5B04D3E4F7BC49B8A8DE38DA79531BC2E80DB8

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
FileSize	2369772
MD5	C0DDEEF6E05922EE0333755CF153F817
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.5.1-2build2
SHA-1	A685C5142C355361829408478F5ADFDB04E8AECA
SHA-256	5F4C354FBAAFB6E06BF8A71929AF1009E96E79358919921F4B36DC807F42AAE0

Key	Value
FileSize	2560524
MD5	ED8E86F6F51166DE833001A669E04E91
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.5.1.1-3build3
SHA-1	8DA9B0B324035E87F03FBEF2F3769FE8360EDCAC
SHA-256	4FCD524D0ECAB93960C5E8032F33BCAAAF344739028DDECC76D37C1DB754E7B1

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