Result for 003362771D17F71A5FEA256F67E1463D5FF54ABD

Query result

Key Value
FileName./usr/lib64/coq/theories/Init/Notations.vo
FileSize9629
MD5211AE9633D0388303A575BA07F2605B4
SHA-1003362771D17F71A5FEA256F67E1463D5FF54ABD
SHA-25636ECFBA080243C69D9A7BCDFD3FF95E173300E628B909EEE68E13E9F979EB187
SSDEEP96:mvHwFo++eTOqF/m21ojr1Lf3PvcTQB4l+DFWK8nNjhIa0HrRMIm5Hq5TK7v+dHBW:Cw1vW1ffkTJlKHHFcCTK7v+/Nc
TLSHT12B12D2FEF7152879CAC8DDB8EC2E5EE837D608C538634997970CCA673CA0766401A64D
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
MD5FB606CDEB2F5D3F185B1AB523CE2EF1B
PackageArchi586
PackageDescriptionProof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq
PackageRelease1.6
PackageVersion8.14.1
SHA-1F65DEAAC0EFB8069C8A58064751911A922FFB4FD
SHA-256D4E282FC4B647BAAA64F3EEC94AC2BB829003CF244581A4CBC6305B78B3B3461
Key Value
MD512B95175E1E8C683C9B4EFEAA247906F
PackageArchx86_64
PackageDescriptionProof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq
PackageRelease1.6
PackageVersion8.14.1
SHA-18253F575B61B668384D632EAA37A4C9EC4C25EAB
SHA-256B59F0026EDACFA25B4755B8100ABE79DD5D1EF815D8AF5E5EE43AC05F7C0F2D4