Query result

Key	Value
FileName	./usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
FileSize	59948
MD5	1AFEE2DC2F95697AA9B438943B08D20F
SHA-1	0432DC2BB6BB9780B68AB6D1CDC1C00BCFB5A7C1
SHA-256	7256957E3693B02207D71808409617D36C38DC6CE62098EB28B9670EAD3DA2A1
SSDEEP	768:fR0M5mAu32Otp/mmKs82LmVhFV13d0oWJGw8TNnN:fRzvum2pumX82LaXV13d0oLwInN
TLSH	T11A43E744E5118BA054FACDB4DA386081A5160C9FE37E57999A34822DCFCF7EB2E31793
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