Key | Value |
---|---|
FileName | ./usr/share/metainfo/fr.inria.coq.coqide.metainfo.xml |
FileSize | 3357 |
MD5 | F7F6EBEC4DCBEE19C8EB2C0CE13FC1BD |
SHA-1 | 6BC8BEE009B63757B7A1C455F6206E2003908FBF |
SHA-256 | E07F9C95FDE53A825FB98B7A7087EB0C0A9D39FAFCE7E08AF847EFBA3BCE823B |
SSDEEP | 96:OhaY0EVY2BKzeKAnKOKVKPK2KM7SbZLxKal6g+M3+acdtpo:OhaY0EVYyX7kX1+M33cdt+ |
TLSH | T188614739D0FEE66B874115029A6169497E7EDB7B03070C99B08C89A8BF0782505BF668 |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
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 | 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 | 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 |