| 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 |