Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Func.vo
FileSize	26369
MD5	DA21FD50E4E265BEC04E8FCCA97AD3B2
SHA-1	05F09F9B62367B664B0B3DFD46C6FFB4A7E9959A
SHA-256	756F0F2B4B4B0FE85D7D83F0066415C0C93256D0CBD081753EC2D2D3CC3FC310
SSDEEP	384:CCHbxqbOLoUkK5QYKNuVoHAemHIuEN9gmeC+KK9eEzbxF7ie8gdBgCZF:1HFqbAcNuBQNBep/zFF7iGhF
TLSH	T156C2C80C6350876AD9BACA7187384205531E4FCB935A6B161138C25CDF9F7DF3AB628B
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