| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Init/Logic.vo |
| FileSize | 106689 |
| MD5 | 49F70E7DA562E9776C355814C4A6F802 |
| SHA-1 | 009E94B743AC0AB1A8631713A6EED7859BC5C033 |
| SHA-256 | A0B4A662407850E86A79CE540207508DF37ABBB7AF7EF489B7AD50EA215DA3D8 |
| SSDEEP | 3072:Xa8y/HoMdePUx58GGi4HdDEvwK8ajRH5D:fsHoMQGHqDEY6jLD |
| TLSH | T1EEA3E7A9A7296C74C4D61DB8DB57A30573E02ACF72B3E366410CA35448E43EBD15B38E |
| 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 |