Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Sumbool.cmi |
FileSize | 7172 |
MD5 | A85B4A1222FD8D3AEDDAD1CF18BE9C08 |
SHA-1 | 0093A001CDF7B459975B31D910799C8950D90DC5 |
SHA-256 | 7369C2D09D8350704CAA36EE5A402AF6D61AC93C9E136B9D92A94B39F747C300 |
SSDEEP | 96:2032VPb5EJ/oQYTqGmBC1FiTVAEL7foYXtJfApOMU6/Kg5SDm:2vVPb5EJ/oQ4qE1fAt5IU6/Qm |
TLSH | T108E18BED6B166708FC5912EECAA806B71324977ED3E19C77C0940BF0065A65E63DF283 |
hashlookup:parent-total | 3 |
hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 41416B41BBA10CFAD20B3A84C69C37CB |
PackageArch | i586 |
PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
PackageMaintainer | pterjan <pterjan> |
PackageName | coq |
PackageRelease | 4.mga8 |
PackageVersion | 8.11.0 |
SHA-1 | CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD |
SHA-256 | F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247 |
Key | Value |
---|---|
MD5 | 5EDEAE0EFAD4AC55A79095BE4F51CC96 |
PackageArch | armv7hl |
PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
PackageMaintainer | pterjan <pterjan> |
PackageName | coq |
PackageRelease | 4.mga8 |
PackageVersion | 8.11.0 |
SHA-1 | A4547E9199719910B4006C4CFF88ACA9B85A70C4 |
SHA-256 | 0F7D1BD9CAB252890B75A2C817275B3C668AB98FFAAF8A94FCB70231D6F992F1 |
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 |