Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmi |
FileSize | 2221 |
MD5 | 21BB33D69BFA442E255A83C56FDB1086 |
SHA-1 | 000180D62FD6E1A5DAA2D775FEF6A65C732985EA |
SHA-256 | E039ACA2C130D756542F881F127B705D03AE7B7518C432CF1C9C6DEFC4D72858 |
SSDEEP | 48:HfSaePP6W6fujPE1zQnjbkytzO2tTfBVVMH2pO9FiuW2W:HfLs6NfujMWjbkmzttTLToFiutW |
TLSH | T10541EBA97B80B5591D92C4F143DC126921A428EE5F37DDFEDB104244942AEEA4B6600F |
hashlookup:parent-total | 4 |
hashlookup:trust | 70 |
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 | 72C30ED34F11996ED729EA7DFA41D3BF |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp154.1.44 |
PackageVersion | 8.13.2 |
SHA-1 | 8AC184006D2900B9E6085F3CD3E0928223BA54D5 |
SHA-256 | 6B9E9C8D91A82BB109576C17567594A0C53114475F7FF4E732D2E2F99645D05A |
Key | Value |
---|---|
MD5 | 22C4988E0D3949DD1C5427D2BB0B54F1 |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp155.2.13 |
PackageVersion | 8.13.2 |
SHA-1 | 507531224D2507517133A90C377FD7BEF9E81F49 |
SHA-256 | B9476819D50555025BF426B8D9F1607C1CEE994B484B7800BA39B09A2F852E8C |
Key | Value |
---|---|
MD5 | F2DC9BE3B76B405FA5E807A258A3B566 |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp155.2.13 |
PackageVersion | 8.13.2 |
SHA-1 | E3195C599D30A26038C530A0DC904486E9A4A75B |
SHA-256 | 2623B8547476CF37B5EC058CE14FF3AD3E7EEF7FB22BEE5CA2355B0C6C9D6696 |
Key | Value |
---|---|
MD5 | 6F0687C2EF3622C4D20F29C89F49B0EA |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp154.1.44 |
PackageVersion | 8.13.2 |
SHA-1 | 08F1AF401E533A9164B6486D929A5BDCF7F49CA7 |
SHA-256 | E061FCA5EBBE93EFC2DC9F0D07B512E90E80141E6FFC3F3E366AC61D749C3B0A |