Result for 0093A001CDF7B459975B31D910799C8950D90DC5

Query result

Key Value
FileName./usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Sumbool.cmi
FileSize7172
MD5A85B4A1222FD8D3AEDDAD1CF18BE9C08
SHA-10093A001CDF7B459975B31D910799C8950D90DC5
SHA-2567369C2D09D8350704CAA36EE5A402AF6D61AC93C9E136B9D92A94B39F747C300
SSDEEP96:2032VPb5EJ/oQYTqGmBC1FiTVAEL7foYXtJfApOMU6/Kg5SDm:2vVPb5EJ/oQ4qE1fAt5IU6/Qm
TLSHT108E18BED6B166708FC5912EECAA806B71324977ED3E19C77C0940BF0065A65E63DF283
hashlookup:parent-total3
hashlookup:trust65

Network graph view

Parents (Total: 3)

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
MD541416B41BBA10CFAD20B3A84C69C37CB
PackageArchi586
PackageDescriptionCoq 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.
PackageMaintainerpterjan <pterjan>
PackageNamecoq
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD
SHA-256F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247
Key Value
MD55EDEAE0EFAD4AC55A79095BE4F51CC96
PackageArcharmv7hl
PackageDescriptionCoq 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.
PackageMaintainerpterjan <pterjan>
PackageNamecoq
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1A4547E9199719910B4006C4CFF88ACA9B85A70C4
SHA-2560F7D1BD9CAB252890B75A2C817275B3C668AB98FFAAF8A94FCB70231D6F992F1
Key Value
MD51E7F159D6C1504BD3AFF5DBCABE51149
PackageArcharmv7hl
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease1.fc32
PackageVersion8.11.0
SHA-149A827F5A2548123AAD9E46D5636DD13F890FC70
SHA-2569CF847D5538121A30789A28D7D4A14BF4FC7F3218037EB65DC974E8806B2D401