Query result

Key	Value
FileName	./usr/lib/coq-core/plugins/float_syntax/float_syntax_plugin.cmxs
FileSize	24900
MD5	7F04631FE5C58ED5E984D59A73275F3C
SHA-1	1125B255C0839ACE61AD430B6F5E709EAD71E406
SHA-256	A2507AA7515E44D1BC47DCF79FFB4690FFBB73570790DE428A704CF765644EBB
SSDEEP	384:KScWS7M5QtM+eB+cXqv/UDMxIsYioTfAXX:KSfS7M5OMvnSUoGioTfAX
TLSH	T11CB2F612B3C8BC79F0FD09F5886B070F6B74C1ED96769F2794A812883832A5941A3DC7
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	21636996
MD5	47F48748BF94CC0706E0F91A9839D218
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.14.0+dfsg-6
SHA-1	454EADC3DEB707DAFDBB858D0B10392B8842C398
SHA-256	073B4671DA27D7C20DACCAE915C6B5E3393CFFAF890F112675AE4AD269C964AD