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 | CA6ADBDE912F8D079E6395CFD3E4392A |
PackageArch | i686 |
PackageDescription | This package contains an ocaml library that exposes the functionality
of why3 to applications. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-why3 |
PackageRelease | 7.fc34 |
PackageVersion | 1.3.3 |
SHA-1 | B1FD2213A091C43FB19708E7E738E0FFBB64B234 |
SHA-256 | D7A525848E63454551C9DD81927FB512A7BD584BBE604ED359BD7F1558D6595D |
Key |
Value |
MD5 | B96D59D1EB43F9A5E39AE833365E3A75 |
PackageArch | armv7hl |
PackageDescription | This package contains an ocaml library that exposes the functionality
of why3 to applications. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-why3 |
PackageRelease | 7.fc34 |
PackageVersion | 1.3.3 |
SHA-1 | 57D851D16DC4D51E1FC16E3913C7CD220BD6909D |
SHA-256 | 4F9265A1818531393A35597172C210E63B532D7E44A75192A78D632FC9E9C117 |