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 | 202176 |
MD5 | 07C00CB9632353FCBA82B30F1090937E |
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+b2 |
SHA-1 | 222291624C6F1232FCA17833996DD84FD898EFD7 |
SHA-256 | 18A7F00E1C412512380BB38AD014CB00E8806F0DBB58E129A94307AFB6A9915D |
Key |
Value |
FileSize | 254120 |
MD5 | E4A1E1D32AD5E6708914CA17B7337C0D |
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+b2 |
SHA-1 | 2FF28167877FA859BDB2F2F77AFEA8ECA128105A |
SHA-256 | 1526F4616ABC4A4D33FC95EDEEE1D5F2F382107D1092F5630801AECDDF7166D2 |
Key |
Value |
FileSize | 162156 |
MD5 | 99984E879C638ECB21CF3AEC276640A3 |
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+b2 |
SHA-1 | 3955419DA085D8211EEC7C0D77B1D79041D06622 |
SHA-256 | 8F3A4744FE289DFCE379C3EA4F333D44CD2FAA41171DCA1C22AEA7914733E954 |
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 |
Key |
Value |
FileSize | 252920 |
MD5 | 268A651F2DA10BDE1370C296FEA391E1 |
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+b2 |
SHA-1 | 6ECBA1ED99D431F51D38DF9D49166C269BA28C5F |
SHA-256 | D21DCD244543057173EFEE718D8241341404B56FF77C3EE7B4585353D694C9A3 |
Key |
Value |
FileSize | 207028 |
MD5 | C8D357A8B1B9BED92DF9988E099587BB |
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+b2 |
SHA-1 | 6FBED9A5DB75C65C2932CAD089B0E7261B9CFE3A |
SHA-256 | B42C975E9CC716FB3E63EF997C60E46039B9054676A6B8FC2B095B6AEE3F995F |
Key |
Value |
FileSize | 204240 |
MD5 | 287373E3B33A82D8F101628F88D1A4CD |
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+b2 |
SHA-1 | 74F1AB61F07109BDD1FF4BA4C84C89498CFB865E |
SHA-256 | 402D0F8F6B52BF4296A42F639BF8BA749006F9B33BEA15E0A5B5AD419B091AF4 |
Key |
Value |
FileSize | 198972 |
MD5 | 8659C381A2103192F8DB97CD505827A0 |
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+b2 |
SHA-1 | 781E2FC6B26D98AEE49C15F4E11DA00E381E7852 |
SHA-256 | ED5D90B1FC7BBE7CAAC6D90D72314BCF57C817A3A1C2A1E81ED37A694216EDD5 |
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 | 202928 |
MD5 | 50068DD6303B3B792034330CA04C72E1 |
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+b2 |
SHA-1 | 7CCC2BB1810EDA42663AC42211E3C57B0843E523 |
SHA-256 | 831AD509C2486D89CBE4C4E7C2AF3DAADE266DC3F18F167AC07E6210630AB52C |