Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/UniMath/Combinatorics/CGraph.vo
FileSize	78393
MD5	02BCB37FE216028786CB36777773A96D
SHA-1	00401E6221D1416609AC157BD77377CEE89F3775
SHA-256	DC6ADD7E836DC5166AAABA43BEDFA9D0C4A09969D36BD525355F7D0CA2F47B28
SSDEEP	384:pQAMLwF36ATM0OO0H1rdYGrHcGrHoyumGSb/hGAGwm2iUNYn/eOf5tW+cmOoKG//:ptdpg9dY9+/1niUIeOf5Q+yLQ
TLSH	T1F8735945CE22F73EC36D4B399A5BC705D3AC93C9F6260A0D512FA0DC5AD764226CA38D
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