Query result

Key	Value
FileName	./usr/lib/coq/plugins/syntax/float_syntax_plugin.cmxs
FileSize	30344
MD5	DE3EE3978061494DAB242E142F9EC3AF
SHA-1	0AC0D827E5C48CE1D832069487D486F34E7ACB98
SHA-256	185B735986C7E1AACE401CDADF3BB425A50372EECFE5F52BC3AC82286611E1D1
SSDEEP	384:agBbc+NUb+GJe6sLbERRbti9YRtboNM/8569ZfWde436W:agZc+Ob+GJe6sPudw9YkNMSwZf0e4K
TLSH	T129D2E725E5CCFD3FE4D8A971854502576734C1DCA7BA8B83A8A036887D635DD0D92CCB
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
FileSize	7974072
MD5	E9095ED2359D3538D38780F22D35C59F
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b2
SHA-1	EDB513082B59B30DCC03F376103FBF8AA0DC15BE
SHA-256	74E2162E654815220B55D1A07C32C9BE23705947E69A12C839F7E9AD0976D1D9