| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.o |
| FileSize | 2036 |
| MD5 | 7BC5701DA8F03B7775012D5C07C45F12 |
| SHA-1 | 0001324B2448706FA910B1B5D42E6DCCBECF90DD |
| SHA-256 | AE303C96B9AA37F6EEE10C86E7FFB72A1A724B2E425E57B576264C66AB3F8C46 |
| SSDEEP | 24:fgRXrO8jqjQtVzCW1mQa+VQqyQe1QQYaQQZQUyQjmzpzQrfQQSQQg9l9Dy9fugl9:srOv7Wvauzyuzi40O/+v9/O9ug9 |
| TLSH | T10E41DF057FCDEE26C81292F440EE061523B1F8C258A687B3CC0864644F621E89D2AA66 |
| 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 | 1E7F159D6C1504BD3AFF5DBCABE51149 |
| 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 | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 49A827F5A2548123AAD9E46D5636DD13F890FC70 |
| SHA-256 | 9CF847D5538121A30789A28D7D4A14BF4FC7F3218037EB65DC974E8806B2D401 |