Parents (Total: 31)
The searched file hash is included in 31 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 43228 |
MD5 | 44050B5B6A3AC65F55A21F14E0ACB205 |
PackageDescription | Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides the documentation for 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-djinn-lib-doc |
PackageSection | doc |
PackageVersion | 0.0.1.2-8build1 |
SHA-1 | 0F12031DCD4CE159CD2525D69F3325CD2B4709AF |
SHA-256 | FC6C0B946C9DD5C25610CB1D17F6E6DECC15F2804FF6B2A747F66C0624772573 |
Key |
Value |
FileSize | 222442 |
MD5 | 147D0A1C5E4F072D7F4A65075FAC087F |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 0FFDB4527A80C7AE727AA72D83B30D6BA9151663 |
SHA-256 | 1B4389047E7F6B04499CC9BDA8DAAC4C5464FBADE583ED9BFF36772602E9DA96 |
Key |
Value |
FileSize | 42198 |
MD5 | 6D195723135A2F0078E340820AEDE7D9 |
PackageDescription | Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides the documentation for 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-djinn-lib-doc |
PackageSection | doc |
PackageVersion | 0.0.1.2-6 |
SHA-1 | 138921BF45108955BBDD863B7A6748E5EE96D8B1 |
SHA-256 | DA562BB52B93CC74A188971A62CCD7C3F1825F390288B81CDAF9318ADAF72FE6 |
Key |
Value |
FileSize | 228990 |
MD5 | BE2CD29B33C34BFA1CCF356C68F0E877 |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 24653D839B8731994FF51326D4ACCB136380FA42 |
SHA-256 | 13CBDD15CBD19495070C8309578060BA84D30E74AA13C21772BF7792DE83AF8C |
Key |
Value |
FileSize | 213374 |
MD5 | F9617D4370A7373EC59487C32724DE22 |
PackageDescription | Generate Haskell code from a type; profiling libraries
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell. |
PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
PackageName | libghc-djinn-lib-prof |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 310534AD60DD136D30BBB73D748E6E2ED75ED49E |
SHA-256 | FCBC46BF795E8A09F1D2C591EF3F8EF01692BF74AEA1B535BDC342E1E8EDFA8A |
Key |
Value |
FileSize | 253938 |
MD5 | 491B381FAF541F9C6E80086111811B49 |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 37859D7EC3976235AE1E7DE1A9B29CFF7F324A84 |
SHA-256 | 6F3D1A99814B43201B8A73D5A238A64618C4FE2942E8D7AABC0BDA28EC650325 |
Key |
Value |
FileSize | 160218 |
MD5 | 84F9A79DC1DEDAE77B6FEF16A6D69442 |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-6 |
SHA-1 | 49510AFF52A876B400F2AE542F01350B920DC121 |
SHA-256 | B8C3A6F7D2193527A12FF7199CF8B0AD58776029618C514E1A199B36F80C99E9 |
Key |
Value |
FileSize | 214222 |
MD5 | 127BE45E19C76AB302B39472019B9F40 |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 49C9A9C1E7B548D8EF558F1C2A6BAFC2ECE97BFC |
SHA-256 | BD1D795C4603FDB2A4847787D867F4699E63DF91136C05FE88003FEE5D9EB950 |
Key |
Value |
FileSize | 209880 |
MD5 | 2220694BB02D2FA4EAC7A778AC8D12F6 |
PackageDescription | Generate Haskell code from a type; profiling libraries
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell. |
PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
PackageName | libghc-djinn-lib-prof |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 4A76646F7A56E9E9BBF0AD0DE24FD0483F631F04 |
SHA-256 | 49879C22AE33F0E5AEFA92C946707A5CCC2F5E37BBEFE0428DC152B4D9120A16 |
Key |
Value |
FileSize | 188926 |
MD5 | 02815B907748F127C3F3CB73166CD7B3 |
PackageDescription | Generate Haskell code from a type
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 4C8960B21675E02B226EB60B6A845A7EE727784C |
SHA-256 | 7F0D852B8E9537BABF133197791AC6732A76F870C44725E0DE51E14FB0D298A3 |