Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
MD5 | F243CE357E0963A5BC33280C797BBD91 |
PackageArch | s390x |
PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-ide |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 59277DF7FBFC303CD2F443185DA22DCFD1961A36 |
SHA-256 | 081794A6D5C00364DBD16662CA87A4F565C80480B5C61F762508342AF2FF29D3 |