Parents (Total: 2)
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 204088 |
MD5 | 6F23B253A2A5A4F6E381BC819C9BBD61 |
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.3-3+b3 |
SHA-1 | 7C6E64AF450100B7D02AAF114DAC5C96FFFC2936 |
SHA-256 | F7EFFD1C8F505AE509F28F8C6B6EFC0430255E768E10C7A9BF3DC079AD15BAD4 |
Key |
Value |
FileSize | 178280 |
MD5 | 69035640A2B86C8500DCF5F4D55EBFA9 |
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.3-3+b3 |
SHA-1 | 4FDAE52FF09E7F54F37F25BB79A356683A5370D7 |
SHA-256 | 6BE4D00AA7A6AD930981CE30AFB721311976C2DE72BFC62844FBF8586D22AC95 |