Parents (Total: 23)

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

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	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	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

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	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

Key	Value
FileSize	3726002
MD5	2DE7689E3DF6604C1C1AE3B5D454EEFE
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-2
SHA-1	3BA5B572E3372448D44054E7AB9E21B087373FDB
SHA-256	22370AC40F09E7FB22D76C384F871992630D67D14BE5845D6FA26A8908437779

Key	Value
FileSize	3511298
MD5	9A861E33DC1E3A698B979F1017E62FF9
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-2
SHA-1	4A3A630AA21951758CC91808584644C6A9313A88
SHA-256	4C50E5BC268C8F8D81991481B073DDA911BE10B93EBB25BE1A9E105288B3BE8B

Key	Value
FileSize	9747194
MD5	B54B566916657FB0277DB1721AD9AD95
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	4EA326670E9FF90D52B79218B32309D39CE63503
SHA-256	18ABBF56A19E8FA2312CA242D5E2321B7EC33F5B65704CBF9A234F84C9F3D716