Result for 00C0E02429E91A5ACAD2E37EC066D697212C9B9B

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/Core/BicategoryLaws.vo
FileSize73195
MD539FE574E22850C4BB68B3874A3E74D67
SHA-100C0E02429E91A5ACAD2E37EC066D697212C9B9B
SHA-256355D190780DEAD29C2FDA2BD6C567511383F722D78525333117C9AEA8F24BAC6
SSDEEP1536:7yW0zR1A9RaJvMz+LmZVlYy/HoJDiml8cIkYAwhdBTJHB:7yGLOMLVMP0kY/zBdHB
TLSHT12E63D5F4E15ED035D87BA9B373A2BB9931E0139E66FB39530C5E42510CC10DEA986F4A
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
FileSize40803524
MD5FD25E0AFC87F700E8B7D85322411099B
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+b2
SHA-1433C414CEC44B42AF1A0C8166E637EB4DC93D04F
SHA-2565D9E948D54EEAF7C8D1C40426EC013CEC9B0490BC0F6422CC8C9083FD3957C01





metalookup is a service from miwakeru.com