| Key | Value |
|---|---|
| FileName | ./usr/bin/coqworkmgr |
| FileSize | 1273752 |
| MD5 | 6726930E86E09B5F5D94B9DC06C036B3 |
| SHA-1 | 007C5CD11AFBA146B7B21B0236A2A853A0BF3802 |
| SHA-256 | 13A9469A74031C40B604118711E97AAFE6C0E0F69B8DAED02F3A1015586E5A40 |
| SSDEEP | 24576:QpaGl8MuceMdDTedi45tAv+CXEmuFev1e7EX:gp8Mxe/5tAv+CXEXFev1e7E |
| TLSH | T11F45390BFA998A7DC1F99131856B46F9BB71B45056623F3619C0F9301E23A9C5FAE3C0 |
| 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 | 720F8C05721D6D87AD3FAF8F59924745 |
| PackageArch | x86_64 |
| 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 | CE861A50BC3A2E9DB84A67370C321F7A50D73289 |
| SHA-256 | 928F5EE69309BF3CCC1B2FC6C4B28B266C659483C2741DF98D86984F68A826C0 |