Result for 00511A791575CF4CE11870FDB01135C5130CC42C

Query result

Key Value
FileName./usr/lib/coq/proofs/proofs.cmxa
FileSize40130
MD5F001BD732456B3865AFD18563A2919E5
SHA-100511A791575CF4CE11870FDB01135C5130CC42C
SHA-256471ACAC806BEFF4DBB1A6D5FCD0234D1BB18C51F2781C63BD54997AD51E4FEC9
SSDEEP768:9gqK0qKFf/+7B2X26xSF6Bir+cFwB/CgimFjt55dLgKrDzYQdX6EVbDFgKp3zz:VYR7BXD6TmwBqtmZvXoKDDz
TLSHT1DE032BA4B690309B74B3D2D75E9C043B17B4442BDAA288B982FE07F54673B13D4D7E29
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
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