| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq-core/proofs/goal_select.cmi |
| FileSize | 3751 |
| MD5 | 5AB600280FF2414C39AB505FD0B8BE39 |
| SHA-1 | 000EF8A42AF6476A2010465E0535FABADA1C6B5F |
| SHA-256 | 2EA0030F93C6F7AEA922F09415B6135EB9ED2B35FE8B934DBE5745FAE5C1B5BD |
| SSDEEP | 96:FwJCrLQ/wmcI7mURiOd9JN3jLcA7WAKvJXmLUAImp5qVApD:yT/31NDNzGTW55t |
| TLSH | T1A771D86E72806171FCB502B7FAAC05934B74056BC8A38C3ED6CD46C989A305C57CA42F |
| 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 |