Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/Floats/Floats.vo |
FileSize | 34722 |
MD5 | D8EA44A32A82D01AD16227E52B45F88C |
SHA-1 | 000670DA01EBBFD716C846AB56E768A92B50C5A0 |
SHA-256 | 1AF63921E9BA930E1E58043654BC8D908B4CEE6CF6E68D10B4FE2273286E02BC |
SSDEEP | 768:fwl2KmacgxVDjqfJIOBIDplPO0fwQb6/4Y:fwhvX8SLWaWwY |
TLSH | T1DCF2C547D01057F016B6CD304EB850C2A8428E87E36E5B766634416EDF1FAEB2EF8663 |
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 | 4936DA1482A7A1815A683DE73FD1830F |
PackageArch | aarch64 |
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.fc32 |
PackageVersion | 8.11.0 |
SHA-1 | FEFD88DECBC3FC3AAF5B878C9E0AC0B5D5DD6579 |
SHA-256 | 4F585D4A710FB6166BF77E555CADB11BD4A61CDB9A8DD5CAC5AC9E5768EB1415 |