| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ArithProp.o |
| FileSize | 3728 |
| MD5 | 4E703CF4AE1D8A27312010FDB1A20101 |
| SHA-1 | 004963CCDB1BC0ED234CBB65B65F8D1EDDC7C36E |
| SHA-256 | EF4A66128AF58702418154F20CDCC0117C8C4BFBD09C118E124EDF8CD34AE9A5 |
| SSDEEP | 48:PmvcaFST9ZUyota1WYu/28EKrbBV8TMvVcfSPtXcRIbLma+5S7iOU+uuHy:PyHwvBotUrurEcVtXcmnmR5S7/duuH |
| TLSH | T154719BC06F48EB7FC72FE6F978F4A70A2760E1422F88AB15E5025204ED433519F2586E |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 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 |