Parents (Total: 21)
The searched file hash is included in 21 parent files which include package known and seen by metalookup. A sample is included below:
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 | 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 | 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 |
Key |
Value |
FileSize | 245392 |
MD5 | 9AB79802D8D061735893E7954F2795F7 |
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 | 58AF89D6EAE463062DDCDBC2437B5167D34764D4 |
SHA-256 | 917C9D531EEBD6B0F03570ACF319CC165EF8CE7101EEE5F7FE83FF758F11954B |
Key |
Value |
FileSize | 200692 |
MD5 | 77793B512F7921D4ED881C950CA7335D |
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 | 5C542597C4DEF6F2EBC0D62BBE9B38916F7DCCC3 |
SHA-256 | 50617FF4CEB09BFC789BE5B9E779CF93F16B4DD0991B1CD2309E75149F455007 |
Key |
Value |
FileSize | 159668 |
MD5 | 09057ECC38F6D7C9CD667DB0A5B7931F |
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 | 816B278B1B104CB711B2F470E3376D6B8C368CF6 |
SHA-256 | 1DE21B55E2F599EBE02FA910970704166942C27EE573AB2B21CB4437C964C8B8 |