Parents (Total: 19)
The searched file hash is included in 19 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 253772 |
MD5 | 40D4E1F315EDDE0212264D45D6A07551 |
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-4+b1 |
SHA-1 | 073B089A8B2CA2E2A3EA2CDE8AC74562F6F654CE |
SHA-256 | 811258AF786B0BC2B88DCC3C543029AAA39AF76F95F74C809028BAD2D530268F |
Key |
Value |
FileSize | 286724 |
MD5 | C376FE7BE650539A15CA87A218702BD2 |
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-4+b2 |
SHA-1 | 139D259BBE37E4B9007A2C7E002EE1C7D83C287C |
SHA-256 | B53EBA8764C401F0AA024C19C028DE11A259F2AB99931F3C8A7271F40AB85B1D |
Key |
Value |
FileSize | 246180 |
MD5 | 3F6BD5C6E9326CF863CB485F01A8B5BF |
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-4+b1 |
SHA-1 | 29A10848933A5F39927B2E56048DC376A0DC6D76 |
SHA-256 | 5BEB24020285AA4E13AD9967701CC82D1B25F8AA739B5A0A16B2A42ED1D0E146 |
Key |
Value |
FileSize | 176608 |
MD5 | 50CE1C15FFA1B62BDAE4624642460BEA |
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-4+b1 |
SHA-1 | 37E90CD66592D8DBA633AFE72D172A04CA30EBDE |
SHA-256 | 87A4670007713DDC57923CF97DA1D32698B67911622A77433FEA6BF67D14451D |
Key |
Value |
FileSize | 198796 |
MD5 | 1134238125E13524ED45D88D2EA621B3 |
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-4+b2 |
SHA-1 | 663D47095BF694EB6529C6941B7CB669DB18B72C |
SHA-256 | 01CC7BA1602A825475D032E528DE2BE1086461ADFA7A1905203F6F7A30A66A46 |
Key |
Value |
FileSize | 163508 |
MD5 | E65F0A811BD7E45D2E447572E9B71730 |
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-4+b1 |
SHA-1 | 7D95777B55BD9C596D47E39D8FF20FF0EE5483D7 |
SHA-256 | FDCE11E0BDC9A22E35169E202FC5322DC30412B657F079A8F4D28479F2785BAF |
Key |
Value |
FileSize | 206088 |
MD5 | 1ED65D1D6C6B801511F47AF50D25CF21 |
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-4+b1 |
SHA-1 | 8513D5C542A9280B00A897743115E6D11FAC91CE |
SHA-256 | 598E9D423657A0515ECB5F18BD06310C08CA7F68A7AE5E000019A661FAD73DE2 |
Key |
Value |
FileSize | 90132 |
MD5 | 6BBD2149C2854EAB70567B072324665C |
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 | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
PackageName | libghc-djinn-lib-doc |
PackageSection | doc |
PackageVersion | 0.0.1.3-4 |
SHA-1 | 8C77DA72B465D4F545E33FFC80E6A5E4050C5A55 |
SHA-256 | F85C683A7B53C960ABFBDC5F15C7270EE9B8907AF6136BB654D7FD9636D01F8A |
Key |
Value |
FileSize | 209584 |
MD5 | 5CCCB90232C0D7C7F789D95479A763E0 |
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-4+b1 |
SHA-1 | 98ED471BABB7921BB82380A39E304BE23030789A |
SHA-256 | 7CD5A7AD553600E53365DD5212606741D9F0F7576FF076B6FF4BAF443591F0E0 |
Key |
Value |
FileSize | 203148 |
MD5 | A51AE538A8F1CD5D6E21529D38D0B530 |
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-4+b1 |
SHA-1 | 9B0F3458A6862F317A43ACBFA6768BEED2DDE6D5 |
SHA-256 | 8F5E104023E71BD855FDCBECDEEFABAECC5EB7EA514DA645DDF36EF95F9CC4E7 |