Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmi |
FileSize | 9611 |
MD5 | B769F561B69ADD7CA378A1F43D736121 |
SHA-1 | 006144CFE672EF833287F086D815387F1A52F6EA |
SHA-256 | 4081C6CFA9E61C5C266BEBF6C717F2435CA8D7BC1BD819FE291580147EE51231 |
SSDEEP | 192:V3hrHY90YtYLojEZT45sUrSpt1gED+CNfZLH0M/GTmhSM:BdkXfj6csUGT1fZLHbEW |
TLSH | T1D612EEEA1A201D1CED5E24E8A79406D383519B7FD7F16DBBA43905D88F5101C1BC6E8B |
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 | DA39DE9AF59970953DD3F3605060C90B |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 6F0FB63514414159E78DB9035E9ACBCD644BD673 |
SHA-256 | 619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC |
Key | Value |
---|---|
MD5 | 68F2FF20B639BD6DE6B6919793ED9E01 |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | B4A18D3F802962279607014AD0090C5768D183C2 |
SHA-256 | 41183CEEFF2701E8E8F5621B4D6AEBDC9E4C71E3A94393CFD2DF29EF7CD2E6E1 |