Query result

Key	Value
FileName	./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs
FileSize	839488
MD5	8B381039E12672092808DCB3E7DA1E67
SHA-1	0AAFD4813E962C29E1AD2F6C90B4D6120662A872
SHA-256	1003AA9DFC7C8D0F8E2A375512D4CFC59A6B3670BBA600574A2AA555974ACD29
SSDEEP	6144:FTFAjBaMrrQF/pJJdhOY2tYsgY1K19m65gvT8g7tmWfaKWvm8:FhAj8MgFRxaM19m65gb8gR0m8
TLSH	T12505C65BF9C64B7DC5B9C63881A7123129F174985BA26B032A88B2313F525FD0B6F7C4
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	1586100
MD5	E264B402B4EB7FEEAA8A888C9B85C5D4
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	DAB780C128C9AC5123CDB2061E53C2B07DA33135
SHA-256	02F35B4EF21C023A3A0CE8D992F241A39949E48B26291BB51FA15719BFB5332E