Package: libcoq-unimath
Architecture: amd64
Version: 20240331-2build3
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: 441910
Provides: libcoq-unimath-0aa99
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-unimath/libcoq-unimath_20240331-2build3_amd64.deb
Size: 56583056
MD5sum: d4afad3b6c3a385d80725b6e9e6917d9
SHA1: b8b58a5f36d67e5219f12d09e6d8187462d57bb5
SHA256: 69098a41d1cb2bf0bd0551b653f5369d9d295ae60552049dbc611cc5fd6ca21f
SHA512: e8d5ce236248609c97a78ba031bcea058216836d1a0d9106aaae0cbdd3e079b88ff5a9f8a24d8c088255d133b81e904476f5fa9b0c2b413c51671faf5d22ce3e
Homepage: https://github.com/UniMath/UniMath
Description: univalent formalization of mathematics for Coq
Description-md5: edbaa9c4853665d0d83d5a79d1b04ac7