Parents (Total: 6)

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

Key	Value
FileSize	5855276
MD5	B88290F08EE81DE393FDDF48E9758C10
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.3-5build3
SHA-1	FE72263B5F9BCA268933D606804623E42E67A4C8
SHA-256	087D3F25E7B9B25D3A8E9AD898C5CE4865ECD8545C3696F22442F45173791E04

Key	Value
FileSize	13161228
MD5	7A7552EBE9AB21457ABC27EB1C623F47
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.3-5build3
SHA-1	2E355893396619A4F523B4A5E03C3D91F2DB9162
SHA-256	584F6DBF4A76A34E716012E299AE8D0B22001AC95DA6C4EF7110AE6D99FFC3F2

Key	Value
FileSize	5752176
MD5	B469F09B24A8F361F89A5D44BAC42B11
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.3-5build3
SHA-1	6CAA52DE858136FE80897980953A158DF4246EA0
SHA-256	AEC7EBD592EF10C9ED9A6008F8263557F6066838064ED67BDF85F57A84A7528C

Key	Value
FileSize	7803028
MD5	F1F09FBBA1B1459E7D8F552FCC84455C
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.3-5build3
SHA-1	0B78D158C8DC13A91E55D591CC5777F76559026A
SHA-256	3202B49C7FF6B60A9DF149FFB00B18F8C71D077B679E462614AF056B6C673F7E

Key	Value
FileSize	6242404
MD5	EADF81C603A627AEDE399B7E55317588
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.3-5build3
SHA-1	6B6A4C84C36E683219450B886D3DA11B5A30190A
SHA-256	E6BA584BD7116178A8FC3DE245DBB2E8F9E5C7956EBC7C1BC5D410A5E7CF539C

Key	Value
FileSize	6539776
MD5	B0813C520FDD6CC9D69B38EC8BFFF271
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.3-5build3
SHA-1	CFB292DDE9E78EA908E75B39597F059266C4B32F
SHA-256	75246689F1518757FAD431C58F04B481B455EB66FC1B82586BA06C6389E7609C