Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.vo
FileSize	14272
MD5	A378E48FA29010DA15F344E3274DB2EB
SHA-1	0801BE0DEB0C93A0667DD108D356E4C484ECE380
SHA-256	241CB630C144B86FAEE98014A031C191EAA8E756AEC3038BE32E92B000BF0813
SSDEEP	192:Vgmmht4wAdkPkNykyotO3p7WTZYpv5ZDvEXPjZUOjSwERlVXQ9rwwYz7u6FUO:aNWGMNyNotO3l3v5NvEfunwMNQczh
TLSH	T11352072DD1318942DD6E46B9CB23228412DCAB4F2364EF485134D39C5ED87EFA64B78A
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