Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
FileSize	59948
MD5	3619F4AF019ED07D2D1D79A14017D845
SHA-1	1594CBEF434F81A64FDC4AFC424606EB4EC0784B
SHA-256	E2DC65576091EDEE74650470A8B7E961F12DA8E70090827200425C3BD0EE30DE
SSDEEP	768:dLoX9RqYeyYdp+wTFCeyP3zzJkFs13d0oWJGw8TNng:dcXaYKdpByP3zlus13d0oLwIng
TLSH	T13243F788E5019BA055F9CDB4DA38608196060CDFA37F57899A34812CCFCF7DB2A76793
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	F46679FE541EAC5CF39598E02B75F402
PackageArch	armv7hl
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	0658B6129A14D7FAE3FE922275516853E179B454
SHA-256	5D0CD912F2F7B7C62FBC7484D8D4C8BC8130953D164BF65B7B7B1821F2B40D2A