Result for 00443A3054ABB91E447C83DCCD88169A7D873D7D

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/graphs/coequalizers.vo
FileSize143044
MD5AD7A933750805E06E066C65E52529020
SHA-100443A3054ABB91E447C83DCCD88169A7D873D7D
SHA-256F8F35C6E248CA24929A9890336BE1BD31C02973AE06E80666D77B63FC39D3917
SSDEEP1536:p2z83Bsg2cM7YARUOuALzm6AMJ9eSvGrz:QY3Bsg2cMvntH/eTz
TLSHT1EEE32160CD26FE39C35D4636ABAEC24AD36C13C9F326091E162BE1DC57D215761CA28F
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
FileSize40825984
MD59A8C78E54AE03BB4AE259A7D6D731FB1
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+b3
SHA-16952A30983F7F18E12BA3E15A1418A00140A1649
SHA-256ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99





metalookup is a service from miwakeru.com