Parents (Total: 3)

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

Key	Value
FileSize	1959856
MD5	8C3AA8AAEB23AC53DA0A9D5A6F7567FF
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.4.0.2-2
SHA-1	2C94E785BB412E68C66B074C44DACEF0FA313DC5
SHA-256	7412AF0D3277C552DF76923504FDFD5DF283E57CD36E93A027E3534DB9AF429C

Key	Value
FileSize	56362
MD5	6F06A8F18CFECF7CF37FCB3CB5252A5A
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 is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda
PackageSection	misc
PackageVersion	2.4.0.2-2
SHA-1	F99A9E07E7D96EF507830D62CCA9A75C7E5AC94B
SHA-256	D5201F682C2D0CDB32283FEB47778824D2DF56BEF80D0D4B11AA0F643CEAB5FB

Key	Value
FileSize	88336
MD5	FBE90088FD0B5E99499042943328AD0C
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	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-mode
PackageSection	misc
PackageVersion	2.4.0.2-2
SHA-1	FCD8314BC96EE0C95F77724469B985C76FFA5C44
SHA-256	FAA7A61902FB1E38F7B788BF2CAE0880D73B8984177E7BADC6930084120B234F