| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.o |
| FileSize | 36000 |
| MD5 | 39CD607DCC5D2679553B0BD6F5C3C59F |
| SHA-1 | 002D998159AB431E39FBB6B905A88C528805ACC4 |
| SHA-256 | 8709DF18953E6A75DD8ADC70EFAC11366C99B1159DB079FF5C71188786101052 |
| SSDEEP | 768:45C8QVL4Lc4KFsHT5I2sxKYWTfn6XmbyL8ldfev1Omw:45C8QVLf41Hu2ldmV |
| TLSH | T11AF20E5867CCDE7FC1DFC5F204AA07233334D69A1E615A38E409985EBF6232B47A174A |
| 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 |