Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Parametric.vo
FileSize	26100
MD5	AF9EF77C6B9E103D3692DE305CFC5315
SHA-1	04965D496C813B74554EFDB59A499E4FF1801C55
SHA-256	BAF452F4C875CC8F53A32637A855BB67E8C75988D5E6F72B55A4B8659CB29A6C
SSDEEP	384:mlq/tyFP7t38nMFQ30t5Cwz4dXwY/vjZ+0JaW06AvbXpTJlPy0:mlq/tyFPqMFQ30t5JCXw+Z7JaW2XpTPF
TLSH	T10AC2C60E90641353CCA28A3AC678B34454D92A975B379B6500385708DB9FBEF7B77B83
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