Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonadLaws.vo
FileSize	7577
MD5	2D6FD54796237CD1DC2E2A2FDFCF8500
SHA-1	05D9E7AAF7291966DD2C946B0FE749ED54B5738E
SHA-256	CA452632726F1CCD72543D3FD18C09398EFE943ADB4F21E3E5B02DF6AD8436BD
SSDEEP	96:ZqF3+f8JaGDpygR/heplEwWjp2PBAsQR9nMhdcY205j/N5wvadLB8WhEV:ZJf8JaGk4/ES4WRpEdcYL5j/N5Cade
TLSH	T14DF1920CD6514E57C9AC8AB5E3F9A20A43AC7B8F0372BF864055C39C4BD929B658B353
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	757308
MD5	6279ADECB48D38CECB6BEEF59DFE88F8
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+b1
SHA-1	61B54F1E5CC82978BAD0CD034457CD6AEF2EEADA
SHA-256	1F2B3A68DECF86331D8DB4DC55CA3C97BC3D9EA755C3DBC7F407400FD6FB66C7