| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq-core/pretyping/keys.cmi |
| FileSize | 2102 |
| MD5 | 1E6CD00BD0D2E5A83D2330C89B765B22 |
| SHA-1 | 0036E9ED17A2FD08FBDD2787EF4A7BB6C3C3F4F7 |
| SHA-256 | F9E5493E8335B49D3F6C52960AD7F79DC007AF8CB03AC53125183028E84A2A47 |
| SSDEEP | 48:8UaaqNn3L0/d1Rcg6NXw63YRO4uiAUtJ/I7KD:8OqNE1Rcg6tN37iAUtiKD |
| TLSH | T1BA41637F36956A82FCB102A7FB9C46974730011A8CE68D7B454E56C854B116C43CB51F |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 993C3EF3BF13D302515A20E0DE175379 |
| PackageArch | i586 |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | BFF6A6A12BC074B513F65D49B2900AC303916D9C |
| SHA-256 | 2AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB |
| Key | Value |
|---|---|
| MD5 | 80E483221B9E5589491BCE3681038BBC |
| PackageArch | s390x |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.40 |
| PackageVersion | 8.14.1 |
| SHA-1 | 4150295C99D3A6B3535C9F6D7F8F2C8451C2CA52 |
| SHA-256 | C0A617EB536202E51BF28CD2034E6654EC9B5E8E7A7B3E9297CB9C10B8B99CD1 |
| Key | Value |
|---|---|
| MD5 | 610CC6E4F5B5ACC4BDE352F20EEBAFFF |
| PackageArch | x86_64 |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 30C6BC41C9C9B4065543D8B742209380E970BFCC |
| SHA-256 | CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA |