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
FileSize	8063562
MD5	01562DB41D4E8530A586E03A4DAEE1CE
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.5.1-2build2
SHA-1	A3F806BB91EE7BA480940068C36DCF38B939653B
SHA-256	774DE9A598C05ECDDAFD3BF6BECD23640218CF3B94A55086DA9580AEB32342D8

Key	Value
FileSize	4918046
MD5	4042B8232048544DD0F975575D53C2C7
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.5.1-2build2
SHA-1	6F9A4F24A9D5B05C4B13AFF40AC4969F72AF61EA
SHA-256	E5460F53A17604E991814CAAD7A64B9F31AE433D2EC7E242F23184DBF3BC2473

Key	Value
FileSize	6423960
MD5	85E8BB09C906B3C0FEB4ADA486B94663
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.5.1-2build2
SHA-1	3355C6F809931C705CD8E72288B1AF54D62D3569
SHA-256	6DE389EE07B77D7C553CE2B04D8E0714A7BABF9892F5C2716DEC88BB8E7A46DC

Key	Value
FileSize	4938778
MD5	0A4E57FE277E2B2855956295EBE6776D
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.5.1-2build2
SHA-1	04E43F8660A7CC3BBD196095127F17BE2B6E891C
SHA-256	A89E52FAF96B0E1A14DD6469C0A06A48C3B48D587D55676B9D2A13DF2153EF1B

Key	Value
FileSize	4412508
MD5	841316E8678A6C10367E93A4558F9FE4
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.5.1-2build2
SHA-1	6668AC9803A5DE067E39972C768222A92E874040
SHA-256	3F95F3C33B663E8B5F302E3FC2E7C657B431D20B40A38F389BEB8674D216F147

Key	Value
FileSize	6849438
MD5	1110CAD5D865C6AD405D0A41C2608EC6
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.5.1-2build2
SHA-1	76993AB101AC4A1CF07DE5449E6548F4F59D2F2E
SHA-256	0492722F2453FBE551FCC778E91A577121520953F4A8D25A34A57CEC4E851155

Key	Value
FileSize	12318498
MD5	D921FD8A27B0EB83B2B6836F02FF2A40
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.5.1-2build2
SHA-1	F5810B39C608E5A141D1C70929C39BEB29EB16DC
SHA-256	C0C6C64E82B422669E98E8F73B21EE70D8DA536B3D8FD84D8457DC8CA0BE111F