Key | Value |
---|---|
FileName | ./usr/lib64/coq-core/toplevel/g_toplevel.cmt |
FileSize | 38226 |
MD5 | B5D32F95D5674F179DDF63441502517C |
SHA-1 | 007B08AF007FE754196FA45A8AEE70A676BF6BB1 |
SHA-256 | 4297C2078A648ADEF10148B6E6F77D51D62C6722A1ABCAC985D330911E4BFBF6 |
SSDEEP | 768:Ls8HFM/aBOjrOa82IBf4aAswK0QMZ9mjFg64+XLgdWBQDxeA:bMCmQ2Y1uxvmjFg64+XpCn |
TLSH | T12D03E867C61F1F15FD617DFF4A5943A3AF72042E85E68ABFA80A06D24082C2C6757CA1 |
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 |