Key | Value |
---|---|
FileName | ./usr/lib64/coq/engine/termops.cmi |
FileSize | 24055 |
MD5 | 6FAC186D91B7C433FA91BB2D2746C8F1 |
SHA-1 | 00CF6461168C6CC9917DB44FD978F6B9699AAAB4 |
SHA-256 | 2EC95937EB42E37AF588183D8102B2F6C7CF1A8DB9E5AB6066743F83F3D6E182 |
SSDEEP | 384:j4v2dXypgtZWNYwvA6I/0P0aHuHKTx937V8x8CPkBcuwguO/Baro2iI4UojLdEcV:VdXKHwLaOGx9BBwkLj/BwK1D |
TLSH | T172B2651D9404F0E926CAA8AED54ED50B231423BF1D7B5C73452D46F0A9AF40ECF6AAC7 |
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 |