Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Nat.vo
FileSize	32951
MD5	90C28BF0239868E564A7D2CBE7C6E716
SHA-1	0410C1A670AB4FD4D60BCCB32E9E2B5D2460D39F
SHA-256	8C67AB43293834E00252F9EE8BBD7F40E27893A3E07505AD4345C78B112F09BF
SSDEEP	768:pgHFqbAeEkxU0Y94cbClzFF7b9zMJq8++b:pg5eH9/ln9Mq8++
TLSH	T1DDE2A70C93118BA1D576CD304B381285935D4F8BC36E5B192636815CDF9F6EB3AF628B
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	757268
MD5	F966C27B4CD388A53024E5E3A0C1FB6D
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	4111DBAAA4CECC6EBEB16CADF28FB72495D89D9B
SHA-256	BC318A5A84730A920779538EB916062D577C7422CF8130EA655F047BC79847B1