Parents (Total: 94)

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

Key	Value
FileSize	16454650
MD5	C6955F45C7266E4CB1A08AAD86BB633A
PackageDescription	dependently typed functional programming language - development libraries 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 normal library files.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.3.0.1-1build2
SHA-1	025FFC1590518255D0FF4DA907F429084A0D210B
SHA-256	1F98EF386C61E1C8F1C53455C75DC89C4DCCC697E19B499BF6C2DB2803CB919B

Key	Value
FileSize	12924862
MD5	0EF3D08D980443F2D4C6F41082213865
PackageDescription	dependently typed functional programming language - development libraries 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 normal library files.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libghc-agda-dev
PackageSection	haskell
PackageVersion	2.3.2-1
SHA-1	09EAA99A6D7DEE600837A2034016627251FB6414
SHA-256	1AF6C7EFF302249552EE235EA6391194CB6350381EE929829C442D585F2CACCC

Key	Value
FileSize	3034
MD5	206A322E48283329CF0EB08F0645658F
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	agda
PackageSection	misc
PackageVersion	2.4.0.2-2
SHA-1	0CD5832CC1C898554F8413D1350D1FD09C18C915
SHA-256	F30C64D20E4A771D76A3BFAF9DC5858C9459C241FC9A3DE017AA4FC3C389E00E

Key	Value
FileSize	9555026
MD5	C0F7B97B83DCA6708A542B636A83280A
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 package provides 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-dev
PackageSection	haskell
PackageVersion	2.4.0.2-2
SHA-1	0E562EA80508391FEB52DBA458817C548A6C642B
SHA-256	105E130268DD9CDDAA13DF33F3E9E29C4DBAE8EF1538B819DC3B495AD00CB3A7

Key	Value
FileSize	40228
MD5	B3227CD9E151F5F53A2C80CA41AD6F7C
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	agda-mode
PackageSection	misc
PackageVersion	2.4.0.2-2build1
SHA-1	0F9F6B3FD82750E178A9768742D6AEA11DFCCA16
SHA-256	31B81FB623F09F8E41E047C67B47E8944AAA4519E39741028BA1F7F305911EAB

Key	Value
FileSize	5202728
MD5	D5834FAF524D2ED7D51C1C263306C359
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.3.2-1
SHA-1	11CBDD4C47201885892AA49D92D87994AD27A2C2
SHA-256	DE2233840FF249CFCFD37702788AAEEDEE74C75EEA16B1C9730B2170FF44594C

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	3769532
MD5	3851088AC32CA141A8FD8AEA0ABFE245
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	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	agda-bin
PackageSection	haskell
PackageVersion	2.4.0.2-2+b1
SHA-1	12BB42903F031A57F077B1F9E935CC34E8BA7229
SHA-256	F381F12BCF8B3D9329D1479E08CD3E3B2FA22E19DE518E5937D71942325F574A

Key	Value
FileSize	10670346
MD5	44EAC84D3BAA552B270A3BE8F448547B
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 package provides 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-dev
PackageSection	haskell
PackageVersion	2.4.2.5-1build1
SHA-1	143E348B93B961F16DD52C5FE5E393CDDB492A8A
SHA-256	4E7667D8BAF844D206C70FC7487459AC032650D67AB8673061B0851AC5687F0E

Key	Value
FileSize	9608392
MD5	2C9AF1ED3745A2745FADDF8A6B66F026
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 package provides 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-dev
PackageSection	haskell
PackageVersion	2.4.0.2-2build1
SHA-1	159A8BCC93A5E5E37B689A36148AF4D30A21B565
SHA-256	2E91AFE236EFBF39D3C79421811AF07EA774F420872B2B47E176AA512D6535BA