Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.vo
FileSize	30004
MD5	7AAA528077448A0AA78B9180BB6300DA
SHA-1	07B5645833D2196DC9388E5E9A71B0B8CA849A1E
SHA-256	B7FCBBED6BE539E917A1A74477FF549E2FBF0F177066428F92E7D3F7A440673B
SSDEEP	384:jfq/tyTc7ZZqSTLFP52S+S5Da7yM30t5PBuwu6JT/lMKc380F9WQybrrR:jfq/tya72S+hD30t5bJyM0hy9
TLSH	T1EDD2F70892148762D9FD8A708738124966190E9F933F6B465934826CDFEF3DF3EB6187
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	758312
MD5	ED2EA9EAAE1130A94866CF167AA3569B
PackageDescription	Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ext-lib
PackageSection	ocaml
PackageVersion	0.11.7-2+b1
SHA-1	5547C0DCDC736A7E12063E504429C7AECD1E49ED
SHA-256	B8F024D7EDFC62BB680C76B9CD4619411E2C99B21FF3CCDCAC52F79979C982A2