Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Foldable.vo
FileSize	15018
MD5	E0454A6A19897D2537B45258D495124C
SHA-1	07CFD8A2360E0A8A077465031838EC5A146DFE52
SHA-256	1B84C3DD726901057AE34ED629BB8DB6CB7E374978130EF3D4EEFA2B17C05760
SSDEEP	192:w67uO5ubKz+yGz3RrOC9oEtSWRvb5YYCKE2hBz5kT6OzyRpmPyQv+dsSXYEZ7H:TiK23xt9oEtHBlYYCKE6hAyRu+KM7
TLSH	T1D06291498221CB86C8B9CF34CB34210A91994FC7931A6B5D4274825CDB4F7EF39B5647
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	758316
MD5	7A0D1EB934E53B74444314D95EAD8168
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	A5F1581CF4F8D3E5CBE4EFACA96AC31562299803
SHA-256	84A9B224034C0474BFD8F48F503B348EDF8AF394F114BC78631F3679FB8704C9