Result for 00AFD64819C1564724C50FB0130384011942C74A

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Monads/MonadAlgebras.vo
FileSize148734
MD5B22FF106EC61C1C9AB62141418732091
SHA-100AFD64819C1564724C50FB0130384011942C74A
SHA-2561704BD9EF4A6573AC3E2F07A912A691DC59685C2BB600CDD56C7A9378BD7DDE7
SSDEEP1536:QYeRYRnf3Qha4VfHXFkUI1BdYrGIkVNjATRVzYrF+3IK9TKpbl:YRYRnf3Qha4F3JEYbYB8ql
TLSHT112E350658827FA31C72E0772969AC144E3DC47CDF6762A1A196BC1EC29C304767C6B8F
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