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	3879758
MD5	28B714DF2B9683A5D911FE865C8A78F7
PackageDescription	commandline interface to Agda 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 a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.4.0.2-2build1
SHA-1	B54663989BB69DAAAD42162652AF9AE33D037A9E
SHA-256	8C1C216C7B0D1D6A5BB4559AFB71586D6143E3314E60CA78CD2CD75418044E85

Key	Value
FileSize	3728586
MD5	0C8E71BDA0133D8850A4CC48903A8CAA
PackageDescription	commandline interface to Agda 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 a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.4.0.2-2build1
SHA-1	12B209D90BC92915CA011FC8A26B40A67380B16D
SHA-256	8D559DFBB852D28482F3BBF1EC75118725305D3DD3277A7F7F1673EF744B324B

Key	Value
FileSize	3513880
MD5	36AC780300687449BC499CB6072A52CA
PackageDescription	commandline interface to Agda 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 a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.4.0.2-2build1
SHA-1	31D5C92EDAD31B288BF9407303FF3213118DF1F9
SHA-256	B7CB1891EA423A4C8128FFE11522723122CC88CB8AA637E7EFC771825CEDB70E