Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/vernac/declareUniv.cmi |
FileSize | 3630 |
MD5 | 9DF2C1C23BA547A5B6F0F958D39E2C4A |
SHA-1 | 003A244758E7B976BFDCF76B972FA5031053753E |
SHA-256 | DE85C361A19508EA52965194FCE2C52A6E2EA39BBBB3A85A9C1FB606E27997F6 |
SSDEEP | 96:FJIjuQ+aSqB1XDQ3BFW8CNSNGciOLGaWJfwG8PDmlP:3IC4PXD0CN6Ni2GacfZ8qP |
TLSH | T1D071E798378464B2FC2292BBBC4C415B6336136A98A38DBC868503C90060A3EA3D950F |
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 |