| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/vernac/declareInd.cmt |
| FileSize | 87772 |
| MD5 | EAFF0E05813B686C4323A66AC9928D05 |
| SHA-1 | 009B762632EF0D8248F58015CA95A44721A4E9EB |
| SHA-256 | 2FC1FD7A529FF2C78357DDF956420139A333A238B1FA232FE3FA480FAD07AA58 |
| SSDEEP | 1536:6j/cqn9dI0IGU8ZR87nbom5MGGSQhbTh0FIoqiVdzjR:6jxI0nQImWjpLo5Vhd |
| TLSH | T1BF83E66ED2236F25FE543DFE4AA803973A62483D49E2DCBFD54A16C5406606C0312DFB |
| 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 | C8475056B6D513AE51E758781D57A218 |
| 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 | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | 7DDFB1E2A16980B7C6F67C4F9FB76C3397481450 |
| SHA-256 | DA5E344B0E07B82B25960E9430780B8529D60C7A8B672433AE134494E6B40D27 |