| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Reals/Rderiv.vo |
| FileSize | 71228 |
| MD5 | F573D602B59DFA736B77753450951902 |
| SHA-1 | 02DD49E897D0804CA3DF644C4412BCABC65B116E |
| SHA-256 | 58185569995AF2CCFF69F27D2786C04BD93BC35B5A929A0AD04F350DC37B4486 |
| SSDEEP | 1536:OkFj9D/CP4NDiQ/f47j/KHreM1S1aErR+7YhPr3/G2YVDedOxwK:3Xv8AeM1VKKcj/G2oD6XK |
| TLSH | T153630705E11497B158FECEB4EA38A0D129030D8F93BD07959A78806DDB8F7EB2D75293 |
| 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 |