Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/cones.vo
FileSize	108907
MD5	1D1E4D20BE4B3B82A3E33D8DB872667E
SHA-1	003EDAA5A0FFAA8F3C8D341F11529B22661136F8
SHA-256	3234A3F844251AAF9EEF7BA64C2ECBE6B4B08C67113AC61A37401C94175F0D22
SSDEEP	768:hqzG1SX9KDOJLeBvoz6RA7nC4ZpTEj9rZIlE8CPCppQ7IVH3kFKpIwK+6:oVX9K9BvzALpQx2E8C2Q7SXIx/
TLSH	T1C4B3A86599A7FE71C39E4D35674EC64AD30C83CEF227090A111BD9DC1BC7A8662CA18F
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	40825984
MD5	9A8C78E54AE03BB4AE259A7D6D731FB1
PackageDescription	univalent formalization of mathematics for Coq This package provides a library to formalize a substantial body of mathematics using the univalent point of view. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-unimath
PackageSection	ocaml
PackageVersion	20220816-1+b3
SHA-1	6952A30983F7F18E12BA3E15A1418A00140A1649
SHA-256	ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99