Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
FileSize	77670
MD5	9C4BA28CF9C851CA66CE61B144CA39BB
SHA-1	16137DD854AAD7E4190383557EDB30AF1FC083FF
SHA-256	1E2B233CDAEBDF3CED230D13F046048E24C59831C9766826E07ADD72650FA427
SSDEEP	1536:QcXaYz273ABSohGQ/K3zl27d4WWP/Qm1711JaOFEkrQcyTfF:QcIcGQIXjQeIOFVvK
TLSH	T1FA73F648A015AFB155FECDB0EB3820C1A5020D8FD37A1795AE34826CDB8E7DB2975793
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