Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.vo
FileSize	17591
MD5	A8FE0B8627E90D18E47986F22453786D
SHA-1	06B72D3EA202526112EF7C9B272592DBB0218C75
SHA-256	B829CAE7AF4EFDF562D8E2803AAA2BDA22685F197ECB67920A99CEEF0724EA6D
SSDEEP	192:C69Mo3a6bUGuTr/jjOZ0NCXeBhU9hfdZLammhBTz1ek+Zkxpyo:DBs9T3jOZDIwfbLamcBTJv+Zkxpyo
TLSH	T12782942DE3144D66C69D06B9C6EED70FEB6CA74F57637B062448C34A0FD1ADA600728E
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	758412
MD5	35C9FAE7CF715BABEDCEBC02F3DD7997
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	08307502CE13574F1A2125C694793E3AC0553C22
SHA-256	0EE7D1F0CBDFD0142659C05941AB9C0108164F07B9168A33124C5C87DA95B918