Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Cases.vo
FileSize	11028
MD5	A21F0074D6506DCEA33B928BA00C6A29
SHA-1	0670EE546C57D5905D99FC3D20EA90362DC3CB7C
SHA-256	76DD877EA09837ED114954046A5E4E3F9A25A3E04E760BB1868C95A08BC95222
SSDEEP	192:JRmMCiObuh3cYb5jW0dDTFaZyyw8jtNlQ7JhnEpkujP/gix1:JUFiObuaqjDdDTFDywf/EppzL
TLSH	T18832B78DD4614B53E666C069CD24F386058896574F27F3290170AB4C9B8EF473F6BC9B
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	758148
MD5	241ECB45D326B9F8A8FB1044C91A3CD0
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	7485C8448B57450DD1CEA94C65F166A8DBF18A48
SHA-256	1486C553951F249756061B7138463571F1997475D70ECBFC6D3385455D42D4E7