Result for 004EAEDF9F8CEA727FF5038FD2A6B090632048FC

Query result

Key Value
FileName./usr/lib64/ocaml/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs
FileSize9176
MD5B5B6DA3FC2493C477214396C1604AB15
SHA-1004EAEDF9F8CEA727FF5038FD2A6B090632048FC
SHA-25629BF0D4F7AA10135A585E18AAB0305E80C17233FDA6BE309275800D13825517B
SSDEEP96:/GD2JGfrWQGLBWBSNZV91SOA+KukgEDq3BFW8CAnJPbN50xF1RRq9VnPXpUPbZt+:qaQGL8wkgED+CQb/cFg9ppAbZJIi
TLSHT14B12F84FBB84D52EF8B842F5A48F023133B1F541AAE70F12564CF23C5E6669C5EA0147
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
MD5AE98E560F8BC87E4FA896A0F599293D5
PackageArchaarch64
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
PackageRelease3.mga9
PackageVersion8.13.2
SHA-1C44D6D4C91C3AD8EDB9A98A11520A742D66FCCCD
SHA-256D53E0DC702FFD3F7F0B304B040A6F4A4B4C8ED4037A82C78AA6495F462A4E3C4