| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/micromega/ZMicromega.vo |
| FileSize | 232144 |
| MD5 | 3E0283C56AEC716505140C16F08791D8 |
| SHA-1 | 00B3CF45F1FAA9AB3DF8F61B3ECDDCBC9B6E8BCD |
| SHA-256 | 5687A8F38BD578B9651B4A9C7FA98FEEC6B0B6147ABB3C29DD9D7E98D2B803B8 |
| SSDEEP | 3072:2R8Z3l1++BAAAQtr1sDbosUZlDWsSKSd6EweP8ANonbHnZpE+GHG5:o8Z3l17juDCDWsSl9NeFpfJ |
| TLSH | T1AD34BE65E1459CB1CAEF1EB4D734A040571B05CFA2BD06824E6E535C8CE729B28E6ECF |
| 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 | 174F6C7DF146F4665AE241F42FEC3EEE |
| PackageArch | x86_64 |
| 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.2 |
| PackageVersion | 8.15.0 |
| SHA-1 | 7CD6D3A847E96A82DD139D6E4E99182F76EFD087 |
| SHA-256 | C45E04067136783DDC469206600A7DAF71A7EB25DCFE14A65849C1144823F4D9 |