| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Structures/OrdersFacts.vo |
| FileSize | 94808 |
| MD5 | 2995D206B74EA631BB360AF8E7AB9E8A |
| SHA-1 | 01D8D4DD959A3E4E4773C3A5AFBEA4827626672D |
| SHA-256 | 50A2092F55621C548BA5333CDCD5F0125745E9160B145519B8C54FFCC88088EC |
| SSDEEP | 1536:holAziy/Maq7SILY1gNVYMCYaClITHdaKufIKc/6mTmNYqBCF4vL+rtmLaJZOY:h2IiaNq2ILYCYtYaClMEjc/oNE4DPLaH |
| TLSH | T11D934C98E64788B8E4D728BDF311F150E6A849DE11FFD2E38D2ED12484D5A8BD4927C3 |
| 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 | 14C226E2784FC0C0CA88C594594CB126 |
| PackageArch | s390x |
| PackageDescription | The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching. |
| PackageName | ocaml-coq |
| PackageRelease | 1.d_l_ocaml.40 |
| PackageVersion | 8.14.1 |
| SHA-1 | 41E59A7C87D5B0C96A4399C9DA44C604C55A55AF |
| SHA-256 | E20697E71B04ABCA03B9C3CBA22274E339B499BC5091B50938E92087B6383072 |