Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/String.vo
FileSize	39490
MD5	955C9246C680DE2D9A176FD7D9BFC20F
SHA-1	0621070C63AF90E3CF6B644E91BE5AF9C5FFEC18
SHA-256	E9C34D9B5560CACB5862DFD096602089E74750086F1AB7D890E5C2514BD8E44D
SSDEEP	384:rgpeO93Joq+WqdjZr+KTlBgueOcdc0CJGobq2JLjX/Dkw4kgZQ24QqkzK1ah9NLw:0eO1mH4HdK/RjXskgq24JXpgDb+
TLSH	T12803E708A2544B66C57FCD708B39618492590E8B837E1B162638825CDF9FBDF3AB13C7
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