Result for 000670DA01EBBFD716C846AB56E768A92B50C5A0

Query result

Key Value
FileName./usr/lib64/coq/theories/Floats/Floats.vo
FileSize34722
MD5D8EA44A32A82D01AD16227E52B45F88C
SHA-1000670DA01EBBFD716C846AB56E768A92B50C5A0
SHA-2561AF63921E9BA930E1E58043654BC8D908B4CEE6CF6E68D10B4FE2273286E02BC
SSDEEP768:fwl2KmacgxVDjqfJIOBIDplPO0fwQb6/4Y:fwhvX8SLWaWwY
TLSHT1DCF2C547D01057F016B6CD304EB850C2A8428E87E36E5B766634416EDF1FAEB2EF8663
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
MD54936DA1482A7A1815A683DE73FD1830F
PackageArchaarch64
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-1FEFD88DECBC3FC3AAF5B878C9E0AC0B5D5DD6579
SHA-2564F585D4A710FB6166BF77E555CADB11BD4A61CDB9A8DD5CAC5AC9E5768EB1415