Query result

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
FileSize	35576
MD5	2922D3EB107238F9274272BE2D074840
SHA-1	17AAE578342D8C97F14FCE98CE8776B4CDB5190F
SHA-256	AAAE5A8BAAAC383F4404278BDC3D21FAB9F2AA7CE092733F00F8AD67B821C27D
SSDEEP	384:Zh86KoL2KpWUSfWgQ/vh/LXLf0JRyX6JW5R8gBUROCuNl+CBU+DpAbw+hhUe6S9e:b861M/cZD0VWwROCu3jltcw+hUW0K52T
TLSH	T157F2A449E11187A0E5F6CD744A3820D2A4460D87E36E5B69E378812CDF1F7EB2E753A3
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	26D95FA5518B79853195418534999348
PackageArch	x86_64
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	8EE4431047D19F0587D41560B74D30DCF8A929A3
SHA-256	028E428086F4BB8021D7D53A75A03F6A074F486337A3852B76F547E3790BEF7C