Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Sets.vo
FileSize	38130
MD5	6EADEB7B187E5C0CBED3F6B9B1088383
SHA-1	0B427D350E901726173DCACFAC387B26889FCFE7
SHA-256	D73EE306BEF0187A3CADD618FDBE7775F363FD9335EC462C55BD931AE94F1E83
SSDEEP	384:E07hVNgPKuWgQKOrVTzD06OKcFRTqaD6t8yRXL7luSOAthgN5Znt7jy5:EeguTz5cDTqaD6mWtIAthOR78
TLSH	T1A903513CCA268D08C5DD4A39EFBB5749A3E4B38A1372174A5618C3456BD12FBF18B346
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	757444
MD5	A91E9E43C129138B8003B3333ADEFCD0
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	3C5A42827B2ABF80DE5097905CE5E9DF9F445734
SHA-256	3EF988F7301C1536FEDF16C4441F6701AA4BA170D5826B4EAD39AB65BBAAC2D6