Result for 005F0E7ABE8D4E28E76C08C8635DA27146ABB6AD

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/DisplayedCats/NaturalTransformations.vo
FileSize142573
MD561BE8A1E1880E3BBD3FAAF1DED7736EB
SHA-1005F0E7ABE8D4E28E76C08C8635DA27146ABB6AD
SHA-2569E0205D343696F3E49DB5FF57193650F2170795466928DAA1A05132E78CDA461
SSDEEP3072:ekG9hHLuqkHvsbrmawNLmtamxIOpt5o6y/J6s:+tLuTMrm9NLCaQtep
TLSHT19ED3B4A6D81FF535C76E05B7639AD605F38C03CDF6B6160A191B86CC1AC308E65C6A8F
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
FileSize40803152
MD5610C09660113F3120069394B2AC42872
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-1411A5D392268BA26227C60D3F4436D644DAE6E99
SHA-256F5DA7130D562130AFAA117BCD60E76A619AEC101C900DE1E64B98E9B6B72CE56





metalookup is a service from miwakeru.com