Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/plugins/ltac/ltac_plugin__Tacintern.cmt |
FileSize | 414433 |
MD5 | 1517668006D730F871A3E037151E4C2C |
SHA-1 | 0001A8B3C53531D7CE3E9DD6173C40A83A1157E4 |
SHA-256 | B5DB8BF085370BF6921D7D0A2C851422321B41757EEF12A7C92D21D171265E11 |
SSDEEP | 6144:FUjT+31KZ+I+ZppuNY0oeEQqytKhTQMEjX0RChV1KSPZxSf0gkt5b6HKSSA5SzhA:FUjCsZKzSZzZRk5UjLsiS |
TLSH | T14A94C42FEC667E65FF803CBF4619839B2662453D56E0EEEF910A07E4006365D0319DEA |
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 |