| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs |
| FileSize | 9144 |
| MD5 | E0B35FCB86E1FD106B1AA5BB7DBD8E2E |
| SHA-1 | 00A5AF4A3E4617BA29FE9EC714044C063F0F2DA9 |
| SHA-256 | CC1BE20D2BBFE97A63BCDFD03F6AED7FB4D1388A9B9B7327873AA077A4E2F961 |
| SSDEEP | 96:UGj2ZGegEfl8BWBc9tS3gQOq1ktA+KukgEDq3BFW8CAnJPbN50xsBe1RRq2OlFbL:Wzfl88SkgED+CQb/csGg2ifsN |
| TLSH | T1E712E94BFFC8DD3EF97A10F2658F123233F9B540DAE20B165F44B2240D579686E580AA |
| 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 |