Package: libcoq-unimath
Architecture: amd64
Version: 20231010-1build3
Priority: optional
Section: universe/ocaml
Source: coq-unimath
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 403485
Provides: libcoq-unimath-urza5
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-unimath/libcoq-unimath_20231010-1build3_amd64.deb
Size: 48759252
MD5sum: f46c8752d6c579af34cee44001f9648f
SHA1: 35b43c3414e9842922e2abf25fa01e49538f60df
SHA256: f4eb1728b646800cd6db451b85d8a76904a74452374d427527f8ac2bee59afc3
SHA512: 8cff2470562f5bc4c7a7e8b3dbf02b7df01db3ef4bce2e06fbb42eb1792eaddb1725d54c8f2cfae624d0b0b782ef8f384d281983e6c5adaca031d4dba05388fc
Homepage: https://github.com/UniMath/UniMath
Description: univalent formalization of mathematics for Coq
Description-md5: edbaa9c4853665d0d83d5a79d1b04ac7