Result for 0023CF20335FEFDD77494B053863C1CBC1EB58C3

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Quotobjects.vo
FileSize12067
MD54A6A41C6EB549E3169492773D7495E11
SHA-10023CF20335FEFDD77494B053863C1CBC1EB58C3
SHA-256900F3BE925116B19C5B1342CA794B4095FD7E2017DDF2C0E9F4EFB5234385B6E
SSDEEP192:w5O7Ny4rOwLpNFyVGRley7nv/i7JIaFAw9Umq2:wMYEBLrLi7JHFx6L2
TLSHT14342FCEC51BA02ADEA3BCA3303F1610D71A08B87F1576DB17E35AA61470945397CFB1A
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
FileSize40782708
MD55D85CE720AC6483A3FC9DE8F9A5F9106
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-1342FC0C073E1EACED9C86D270E99E2F4AE979ACB
SHA-256CC9D12700BA975BE193F206160B921205FDF90CD4E0D3E93C6102CEA08B72F28





metalookup is a service from miwakeru.com