Parents (Total: 4)
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| MD5 | 6E343975676F68FC871A241446C57F5A |
| PackageArch | aarch64 |
| PackageDescription | Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources. |
| PackageMaintainer | Fedora Project |
| PackageName | ghc-djinn-lib |
| PackageRelease | 11.fc33 |
| PackageVersion | 0.0.1.3 |
| SHA-1 | 92F852739BDC7762913F4FB748973DDC1058E139 |
| SHA-256 | 2DF2DE8BFB90F1AB1578AFC2FFC94D0079E7D4CED56C5010EA722776AA2F0A51 |
| Key |
Value |
| MD5 | 08E97F336EF022E7E61182292363ABFB |
| PackageArch | x86_64 |
| PackageDescription | Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources. |
| PackageMaintainer | Fedora Project |
| PackageName | ghc-djinn-lib |
| PackageRelease | 11.fc33 |
| PackageVersion | 0.0.1.3 |
| SHA-1 | B71137F9C29D2D19560CD07A144A152BB410BE2F |
| SHA-256 | 05C094BC059364F6F6A1675ACCD84348DA88269A2A4B623BC37C79A4DDC07FEA |
| Key |
Value |
| MD5 | AC5CF79B290B579B73E82E77254698E3 |
| PackageArch | x86_64 |
| PackageDescription | Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources. |
| PackageMaintainer | Fedora Project |
| PackageName | ghc-djinn-lib |
| PackageRelease | 12.fc34 |
| PackageVersion | 0.0.1.3 |
| SHA-1 | DFEB749E541AAD79771CA960A2D297436584369B |
| SHA-256 | 6948D897938832F13106B691EA2673BA6EEF74E2344D871CDF8B1F0E698236CD |
| Key |
Value |
| MD5 | 54950B384D010B2ACCF5B5E1599D8E1C |
| PackageArch | aarch64 |
| PackageDescription | Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources. |
| PackageMaintainer | Fedora Project |
| PackageName | ghc-djinn-lib |
| PackageRelease | 12.fc34 |
| PackageVersion | 0.0.1.3 |
| SHA-1 | C7561429D3C8995AEBC04E51C3DD57E54093F1DB |
| SHA-256 | EEFFCE30A0DD43488D49A8991791788B793A815D35841BB6B7948D8A1BDDCF4A |