Query result

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
FileSize	116964
MD5	129F04C084CF2D52982AB2EC13EBBBE4
SHA-1	0BEED9A6F04C43EAC2DE790EAA4BA9D081799CA7
SHA-256	EF7E084F9B8B37256DE57B3169FC985F7CC87B7D1BBC4B53F2F60335BC63E890
SSDEEP	1536:8Rzvumt6EUZBGcI3MTlmXuXLaFyUvdusp59YYwrWJIlqPVdsk9B6dc/rt12yr6+R:khWZzouvU1usp5ErWJR9f9BaG6w
TLSH	T18BB32914E1199FA0D5FA8C70DB3861A165020C8FE2FE07496E29922C9B8F3EF1D76657
hashlookup:parent-total	1
hashlookup:trust	55

Network graph view

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
MD5	C26219A15D1D3DF7BA984AE3FD3431AB
PackageArch	aarch64
PackageDescription	Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
PackageMaintainer	danf <danf>
PackageName	coq-flocq
PackageRelease	1.mga9
PackageVersion	4.1.0
SHA-1	74715921BFF55B4473F44C44B5B7572D7D507BD1
SHA-256	F9DC1DDD3451F813836980B60FD27191E960044255C1A7F922FF48F096D3C155