| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmx |
| FileSize | 5777 |
| MD5 | D0EFB5F1404FE1B49C4049A6694044F2 |
| SHA-1 | 0027308A6DDA9E21527D9A5647FCAB74F3DCE429 |
| SHA-256 | AFFC62F4EC1F9F9BC2D3D161527932C32042B97948911B237EE2CF0C31D7C0D4 |
| SSDEEP | 96:u8foYXtJfA1QHzzCjCt9bDNir3Ek4MU6/Kg5SDjEo41NMfAtVss4661xUux5ouxU:OAt5PHzzCjybDNir3EZ6/Qj23aN5XvUH |
| TLSH | T1B5C1B4222FA6A1021F43D5F21E7C205B0CB2901DCB6C8D64E3E95B4CDD2BA19D796277 |
| 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 | EF935EC8F2FA55FD994EDFE804E1363C |
| 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 | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 5C479A83607D93373523B3BB3A6AA248DBE73AA5 |
| SHA-256 | 454B5BF7464F9F2782F90E2D2C4A12FF7133AFEE7A466B25B9A826DF1E5DF681 |