| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Numbers/Natural/Abstract/NDefOps.vo |
| FileSize | 175752 |
| MD5 | 44BFD0EFD4818523ED2CC141D24242F6 |
| SHA-1 | 02A4DE713E91FE2DD2EA0828A7E3C6834CCEB0A2 |
| SHA-256 | 33457BCD5C92590A29DBBEEBDB53D6F95B11F5B80CB7BCA17FCE6BAC363EB781 |
| SSDEEP | 3072:W8udWj3kbD+BmdazIVd8FnEZMpomRFlj7X3gJri3vbYUq60GZWvJih+tGzcNRfbd:7ux2oaa2FoEokQJri3vbYUq60GZWvJie |
| TLSH | T1BC041768E95F83ACD485C4B4FF906618D0E44D2F027DAB499E2DC31A86873C71CDE6DA |
| 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 | 923753B7861CE2EFBD6CE954D5FE03B0 |
| PackageArch | armv6hl |
| 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.6 |
| PackageVersion | 8.15.0 |
| SHA-1 | 62116C3C0BC3B0AAA1546412C6D98DEAF729FF06 |
| SHA-256 | 2D50CCB34058DBBF16EF8039AC7E5D582A803D5CCE76FE61606F689584291281 |