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 | BCD695672E3D9090FBC20D3F3A0C2EC1 |
| PackageArch | aarch64 |
| PackageDescription | This package contains an ocaml library that exposes the functionality
of why3 to applications. |
| PackageMaintainer | Fedora Project |
| PackageName | ocaml-why3 |
| PackageRelease | 1.fc33 |
| PackageVersion | 1.3.3 |
| SHA-1 | 6A7377A62AFDBA951C242F7C5C42C4293A70C49D |
| SHA-256 | 4F8B9769116BDF00543BC4D8AAF1403D1440BF35A59B48D2CA7254BBAC9B3C5D |
| Key |
Value |
| MD5 | E22C8D314CA3C667AF2DCA0DC5B5CA08 |
| PackageArch | x86_64 |
| PackageDescription | This package contains an ocaml library that exposes the functionality
of why3 to applications. |
| PackageMaintainer | Fedora Project |
| PackageName | ocaml-why3 |
| PackageRelease | 1.fc33 |
| PackageVersion | 1.3.3 |
| SHA-1 | 76B32F8E03ACDC779302F5A14E3C7AA8A19FB7D4 |
| SHA-256 | 2E082F47A155F6041E12C9040A46A62B7C31FD240DFB17E0F9E603ABC0364DC1 |