Parents (Total: 4)
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| MD5 | 7BA78A431ECC3655E72F50A571A1F2CE |
| PackageArch | x86_64 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-ide |
| PackageRelease | bp155.2.13 |
| PackageVersion | 8.13.2 |
| SHA-1 | D03A1593AED264A65197E29B44D1EACEF0741074 |
| SHA-256 | 25C833AAF987DC1E310E19926549552DCE2940980A7C1CC95A2B58129FEB2996 |
| Key |
Value |
| MD5 | B92310784251D57485B37852C11670AF |
| PackageArch | x86_64 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-ide |
| PackageRelease | bp154.1.44 |
| PackageVersion | 8.13.2 |
| SHA-1 | 3568BC61CDE2941BF4E73734A6FA27029C5F9E7F |
| SHA-256 | 93FFC7C7B79804B6BD6C7EE35C0EC726D0E0A2DA4744A04C4DAFBE565EE43A69 |
| Key |
Value |
| MD5 | 0F20AFCAF34A8A1301F399FD5E00F5FF |
| 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 | bp155.2.13 |
| PackageVersion | 8.13.2 |
| SHA-1 | 27402C7A167D2E802DD6123BE162C8A4DC8B3229 |
| SHA-256 | 946B696D1C9B18A0382458FED1AD629F4BFC03F8545CF620E4FE1A03F804610B |
| Key |
Value |
| MD5 | EB120A61EED3EFF8C8A3FC276098BFD0 |
| 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 | bp154.1.44 |
| PackageVersion | 8.13.2 |
| SHA-1 | 7D004D8B780CB5FB160B152412DEAD0B89E30B03 |
| SHA-256 | 428F9C255441965FEC51F6A7990F2DEAA894D6D8D058FB8478465F7127ADD924 |