Key | Value |
---|---|
FileName | ./usr/lib64/coq/vernac/egramml.cmi |
FileSize | 5016 |
MD5 | 3D1A10FF3912E123BDB9E866F2FD9559 |
SHA-1 | 008CDA1CF22C9A9449B7AD7C480A3FC400C07DA1 |
SHA-256 | AB5AA9A453EF1D2B83AFDA12C4B8F924E1BD67E0C295D718958729B2CFD74922 |
SSDEEP | 96:etdKizVWw+Snm9xJL7jzXZR65jbnImyAt7HTrDtShly1UUdoFiuqm8:QdKAV/+SnmdLDp4JPVHTrBYlyVdvX |
TLSH | T191A13AFFAA85B4A608D1C0FED06905B3211401FAE5374C7F8B3402D26469CEECB9B58B |
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 | 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 | 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 |