Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoFunctor.vo
FileSize	6297
MD5	EE4AD81958F942E98E3050D5D92F39D8
SHA-1	000CF0CC6EF61BF32E3CC44BDD939AFD8157688C
SHA-256	7C640913192875FFA4585D60CF7B9C64E5A6C588F1120A56291E76F1E607FD22
SSDEEP	96:9CiNgm0DXek53Wp13KjKpHqpXE92Nmgjt4i1I7oPVRmbCwq/BWohjV:1gmIXeAe92Nmgui1qjCR
TLSH	T1ACD1A64C83100E1ECEAD5EB5DAF5624503AC5BCF0392FF059029D3885FC92AB6A97687
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