Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Reducible.vo
FileSize	9327
MD5	0FC0A39BD51B8AD802019A3B9F5DD018
SHA-1	012CCE2208A194BC01A87F9D27D63951A37BC46A
SHA-256	CC6CE18FFADF0D9BD1D712DD4416B1256D21D885ABA9FE24D9DF6E220E24D5BB
SSDEEP	192:MxSav0Ndo/WsYe7s9Ia+US9VdnzzSyCYeBO0yFc:MJuoBY+sua+UI7n3SyCYeFyq
TLSH	T11112C72C43130512DABF5DFAE7B9D30913CC9F8B1322BF014159C26C5F9A36B5AAB186
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	757252
MD5	7ADEA2364CEC3CE26FE029C548D208E9
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-1+b2
SHA-1	A3145BC5451E2524CE68776BC92B85AE13FEC360
SHA-256	C1B0E1F77C6A38322D168C58B45904D2FFFCD3692AB3DFA68E38F7B6F7500A88