Result for 000DF0907B4CBCD8B45448B2DA544FD1B416BD5D

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Matrix.vo
FileSize53776
MD57D2BC785222C4C0A43104E6BD6AFCD07
SHA-1000DF0907B4CBCD8B45448B2DA544FD1B416BD5D
SHA-256A2AACAB82CB8E9266C8E441EA937C26E6054D310668CB0214E1F97D5211F8910
SSDEEP384:ZKuIJFtpWnt8/HkEnfkxdI6DzCw/OzVeWmqmxAcKm43VmNuswmr/auU1O4VqrK:ZupWt8PnelDzOcqmxAcpRauU1dVqu
TLSHT1A63350529863F231C76F013696A9C104E76C47DAFA660A0E553F95EC6AC3113B7CA2CF
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
FileSize40803152
MD5610C09660113F3120069394B2AC42872
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-1411A5D392268BA26227C60D3F4436D644DAE6E99
SHA-256F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56