| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtacticworker.opt |
| FileSize | 21076904 |
| MD5 | F43CFBB3E28137AAA64E23B30DB2C16C |
| SHA-1 | 14E3DCA2319D6E51D7CF45F7558EFE0524E8076B |
| SHA-256 | E03D0551A306E4E9A05FF5A65E8C847141D2265429C0E114B54B92272E7B6E54 |
| SSDEEP | 393216:Lf90H6alOsUDQhazZWmkl2cKdYAUqVievYBbB9Zzttn2hLr7bUBZIpN8HuVdbt1U:LfKH6alO4l+e |
| TLSH | T14827C2E7AF16E39DC2642D71D6E51324B2B998537EAE734FC98463323C217B2AD19C40 |
| 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 | D28832BCDD77810D8401C1BAA1EA3926 |
| PackageArch | s390x |
| 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.11.0 |
| SHA-1 | 837A7E0E6418E23A8A7D7367F2FB66F9E693006F |
| SHA-256 | 8D862D7EA46BA671B7673FB16ED18BD854A7E0A3BCBAB709B6AA06310B2E95F2 |