Key | Value |
---|---|
FileName | usr/lib/ocaml/coq-core/kernel/univ.ml |
FileSize | 18188 |
MD5 | 582E0DE2B6717843EE7FD15136736876 |
SHA-1 | 007E07E57164C1334188D177C6DCB0FFD029005D |
SHA-256 | B056739A1CD545EF3EA4E816875150CF35FED35FA29FF3F596A58628526346BB |
SSDEEP | 384:2CzNXgtU6buN+X/TI3EW4WVyDg1dIuqiku+HACWTrBT:DNyCN+X/6UgXIJiV+HARTrt |
TLSH | T10582873677D40D35E0F2C06455CF64F1BAA8819B1685AADD7D0E72646F1FA3942F0BC8 |
tar:gname | root |
tar:uname | root |
hashlookup:parent-total | 3 |
hashlookup:trust | 65 |
The searched file hash is included in 3 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 |
---|---|
FileName | http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//coq-8.19.1-r3.apk |
MD5 | 0C97B0CD7DDDE140EE3CF52115926B78 |
SHA-1 | D08C9AF83D87F0140465F271B5A49632ECF50D55 |
SHA-256 | 90492AFC057AB5DC5D080BFC6E9EA17A11BCF60DEA41D62C22C893A26AF94A35 |
SSDEEP | 6291456:3ucqf5eA96TkTLp8/L8mS8toMc8kXAJO7xd1Tie73:3pqxei6TkW/L8mSlH9+e73 |
TLSH | T15CB833D2B017D67E3509F46FAA6DDDFA123D3DC420F71042D935A2E5480AA5C3BA2D2B |
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 |