Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/UniMath/Folds/folds_isomorphism.vo
FileSize	72117
MD5	B699E49ED77C44BCEC79F9962CE88CEE
SHA-1	005EEF5346627F78E362DA16B9FC1166DDD27268
SHA-256	C88A5B988FFFD96539A0F6FB88127B9845C79A823435403D2AE3781A8AB2D150
SSDEEP	768:esifrvXL8D/1XW6uv39xt1UBjwq0GtXVHmPQb6dSp4naad33Dm7w3gSGaDw:cXIdu/9xtGKq0wXVH/CSp4b33CcZZw
TLSH	T1C66309B6D859AD31D7AE0DB4A755C28AF31D03CEE1F7140E2D0F829C55C128B59C7A8E
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	40797644
MD5	A12701941D74B7C70A05B18F667A5465
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+b2
SHA-1	3A145A19E7D058D6D9C989151E4011CB58CA8760
SHA-256	25F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31