Parents (Total: 8)
The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
MD5 | EE6B811E4C31D4B19F0802384FF5C133 |
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 | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | E3FFD398B1E8C3D6045627A0CAA7C9B9EFBCF29D |
SHA-256 | 6917CB5C52230AC4CC285D8ED3F0BC0B930ADF32E9325EAD195AF22E14C2374B |
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 |
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 | 404520BE1EFF71E5E074957C179231D6 |
PackageArch | i586 |
PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-ide |
PackageRelease | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | 889735BA26443F2DBB5D31890E7A31AAC01E6A9D |
SHA-256 | 7772620916938D4D7A383867F6DDD21DC984E999BA5F72158E80052385EBEA08 |
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 |
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 | E8A3784193F9A4F3CC020D28E14BC8B3 |
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 | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 4BB1C126F8D54DA89C438EE3E4C33FFC798FE664 |
SHA-256 | 32897E91C3BF971AD2F071538A6739FE8253EBB6E5BA50B1B81B17F4D12A8348 |