Result for 0031509E8AA53FD91DB2D9727427E24693C6F792

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/CommaCategories.vo
FileSize101773
MD51263661059AB6CE101B5F5089A79130A
SHA-10031509E8AA53FD91DB2D9727427E24693C6F792
SHA-256C8C06E21A8FE065E3B5CDA83E9FC23B0A8A130AD69E0B5F6F14E872B07DF7A47
SSDEEP1536:Ccl1JRsWyoQnanKhRFO9JX4EC9BQsi8x8Z:CqJR0oQnjfw/6QsTx8Z
TLSHT183A3B5BA985BB536C76E0531A799C304E35C07CEF1774A462D1B87DC15C308AA6CBA8F
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
FileSize40755800
MD5B179BBBA227E67C5243CD20EAD794617
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-1AAA3C3843191CD3C8B64C9A5664857BD05FE3CE3
SHA-256957475A7F3F810FEA5CA572BED5C9A193AE76E5E322EEECB7B0D7156F824AEA5





metalookup is a service from miwakeru.com