Result for 003DCE472D468DF9DB03AF8A31BE2302CB8967FF

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Monoidal/AugmentedSimplexCategory.vo
FileSize195423
MD5D6F1BE4ED9D6EEDE052BDD002AF7B66F
SHA-1003DCE472D468DF9DB03AF8A31BE2302CB8967FF
SHA-25619262B98558B523B6A57C202197E47D5022AF36E468795A46705A6C5A7369BC2
SSDEEP3072:oIQgsf+hH+Z89/NPQqxuYIN6Y+oN/UBbjJt/hJRgU:VQgsfgHDaISF2bjr+U
TLSHT1A4144AB681196D62C7DE4BB2D74AC109EB2903CEE27708461E2BD26C19C319615CFECF
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
FileSize40825984
MD59A8C78E54AE03BB4AE259A7D6D731FB1
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-1+b3
SHA-16952A30983F7F18E12BA3E15A1418A00140A1649
SHA-256ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99





metalookup is a service from miwakeru.com