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 | 63AAEC0D5D63D434C2EE797AB8AE5CB6 |
| PackageArch | i686 |
| 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 | 5EDB87BFF70FFA76A895DFA7874CDDD767A1058F |
| SHA-256 | E0C9967BD055C8CD1024810DE74927EF5DD6CC7FD5B3EE536FB928CA8C240B9C |
| Key |
Value |
| MD5 | F1BE4D58D783AFDECE99A181474D2D8A |
| PackageArch | armv7hl |
| 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 | 7605EF0A1AA82F169347608DAAB58041702C2283 |
| SHA-256 | 78520127699261D7F49908A7F6C86D9223C3A9EFA7835EB32B10B1CF7C1E5445 |