Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/StateMonad.vo
FileSize	27437
MD5	831E7F04D69CF4609DB64E37B2CC1DD0
SHA-1	0047F7E92799A3D766142D69E142B454DD67AB32
SHA-256	02492AAC45E7FB9FF52CE426AB0D588585705BEBB46B2155473FCA7A5B2A3347
SSDEEP	384:fyVc5wgu8L3GkoY0dtS04nE9Aaj9ir8a6IJwXzA58WlzJfGFtsq9nhLGTIY:fyVe1fxt04E91jlpIJwXMXVfySn
TLSH	T147C2D81DD6554B06C7DA4F36DAAA830AD36C93CF93372707111AD1644AC239B66CF38E
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	758112
MD5	6B26680DF3AD02ACB445CC176A556F99
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	724C77111D63AF5F26D845AB5F718D9F3DAB8CF8
SHA-256	A40349AD3559FAE9231D5BFACDE7DC24D660F1E2E8B5BA283C13F87E6FCC4A85