Key | Value |
---|---|
FileName | ./usr/lib64/ocaml/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs |
FileSize | 9176 |
MD5 | B5B6DA3FC2493C477214396C1604AB15 |
SHA-1 | 004EAEDF9F8CEA727FF5038FD2A6B090632048FC |
SHA-256 | 29BF0D4F7AA10135A585E18AAB0305E80C17233FDA6BE309275800D13825517B |
SSDEEP | 96:/GD2JGfrWQGLBWBSNZV91SOA+KukgEDq3BFW8CAnJPbN50xF1RRq9VnPXpUPbZt+:qaQGL8wkgED+CQb/cFg9ppAbZJIi |
TLSH | T14B12F84FBB84D52EF8B842F5A48F023133B1F541AAE70F12564CF23C5E6669C5EA0147 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | AE98E560F8BC87E4FA896A0F599293D5 |
PackageArch | aarch64 |
PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
PackageMaintainer | pterjan <pterjan> |
PackageName | coq |
PackageRelease | 3.mga9 |
PackageVersion | 8.13.2 |
SHA-1 | C44D6D4C91C3AD8EDB9A98A11520A742D66FCCCD |
SHA-256 | D53E0DC702FFD3F7F0B304B040A6F4A4B4C8ED4037A82C78AA6495F462A4E3C4 |