Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_CRelationClasses.cmx |
FileSize | 14147 |
MD5 | 645754A19292D9F8C4A727D11CA2F617 |
SHA-1 | 007AA70CFB459D69B77728F5821F384C84ABB461 |
SHA-256 | 6877ECD787E03C66784DCC3BA0482B4485AA7AABC3174F1D3EEA99FABBB8922B |
SSDEEP | 384:6TAEQk4FQ/D89yss1DPYFgs1uvotoVR+sf7upWuC3BzzT2WcaAcvuwV3TlnuWqHH:3EQk4FQ/D89yss1DPYFgsAvotoVR+sfw |
TLSH | T14052E2A1066860EB1E4752F28788455278E76B29D6F2A06DC03BE21DFD58C9FC3D353E |
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 | 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 | 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 |