| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmx |
| FileSize | 2512 |
| MD5 | 0F27B06B9072BED4E0A5CDF9BDD0CA27 |
| SHA-1 | 0085B233B70DB108D98929A82C8B0C2736598A26 |
| SHA-256 | AFE3C2A8527DE1BA170235AEA2A7E0D29E573DDC0B569917D257E98EDF6254A7 |
| SSDEEP | 48:wwtq4FgUvVzH/egUK4cWpU1M7o61lZTHQmU5L0SqkkfKNEjiUAtkA:wL4aUvx2+vWp1D1wmU5LikkSFUAtkA |
| TLSH | T10E51E77A7382FE93383291A36E6E00DF43742417EAA148FC45DD074C156686EA3E924F |
| 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 | ECCB922139F5297667615B434B7E88BF |
| PackageArch | armv7hl |
| PackageDescription | Coq is a formal proof management system. It 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, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 3D2DD7670291DA2139E3A7ACDF8B4257725BEE58 |
| SHA-256 | 246EF463E7ED5C64D4F9C133E872D7829E24FC225D192C4E7FDDC88B974D58AF |