Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadExc.vo
FileSize	4428
MD5	C4013871639B1B0A293CA179E66CB1E6
SHA-1	0027B630298290EF7BE3176DA4D2CFCCF4A422AD
SHA-256	DF3E1E951AC66C0ED2F64BC5A5EACA87AF04A1B683C662598BF666CEAD2F9ECE
SSDEEP	48:wucEIIizEKMRhMqlwrBrGpc/zrQUQpf/Suht/GSOM5cQQhZZYQgf+JUrBBDjDRH+:jcE1KMflwrVGpppbcNhZZvqrBShPV
TLSH	T11091874E97919F43C5AD8B77C7B4B38516BC6E4B1706BF8610A4C2480F9A36F6A23127
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	758412
MD5	35C9FAE7CF715BABEDCEBC02F3DD7997
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-1+b1
SHA-1	08307502CE13574F1A2125C694793E3AC0553C22
SHA-256	0EE7D1F0CBDFD0142659C05941AB9C0108164F07B9168A33124C5C87DA95B918