Result for 0073BE5403F18B105D13CD1A54C3B809A8C437A9

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Foundations/UnivalenceAxiom2.vo
FileSize11289
MD59AFF67DEE36D45A023D22D3E3A176C7D
SHA-10073BE5403F18B105D13CD1A54C3B809A8C437A9
SHA-256C13E6ADA7B0ABB0839FBD3420D7FD4CF1773CBE024B50F1996575D21AD769AE8
SSDEEP96:QDNqsR8oh1VvjZcklOsvUHYwc0YeYZce0vUiXvN/NqNtNsTBEBahWV:QDMh8pcklX8HYwc0YeYKH/VAnABY
TLSHT1D732650C92A15E9AC7ED4F3292ED570BE32CC78ED3476715946AC1E02FC771326D628A
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
FileSize40907568
MD57626BCD100ED651CB2086F98890F292E
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-1AC857CA5624B1623DF5AFD5C17BE3F8FB3151D0E
SHA-256E42EC8DF7689319584558D739F5629D9801C38B79A04BEE7FAF0F6728A42F40B





metalookup is a service from miwakeru.com