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 |
| MD5 | 59D2ECE7159E9EE11E6F65D5FE5F172C |
| PackageArch | armv7hl |
| 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 | C68ED05754CF94C5B5A5D608EED6ECE198A295BE |
| SHA-256 | A43C6E6CFFE936B03F219FCC9CFD00A12E53CDF008AA100611FB9C5C706B9E01 |
| Key |
Value |
| MD5 | F8E1025A2EE55914D6FDF29196DAEB75 |
| PackageArch | armv7hl |
| 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 | DCB207A8BDE25EC173FB4CB65B340A7B05FBC3FA |
| SHA-256 | FCAF202170A70DEAF152348FB784D0DE0E2072C7852258E21BD1CCCFE54421B0 |