Package: libcoq-unimath
Architecture: amd64
Version: 20240923-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: 262821
Provides: libcoq-unimath-xviu2
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-unimath/libcoq-unimath_20240923-2build3_amd64.deb
Size: 59416688
MD5sum: 9532f3380e66e154f420fc6864176ae5
SHA1: cd84647d88db0592a41da88dd8aa6ed599aee1c7
SHA256: 363b0d47fbfc74153fe650c61bc26033059f2d26032a25f514ff085e939e090c
SHA512: cb738b676badd9484a6e63357a7f63e331f92d9e38012ca9f5280d4cddf42c791e465d50b7e7e4a782c8c96c90dae0f1c45733f3e685981e68fec15be7972106
Homepage: https://github.com/UniMath/UniMath
Description: univalent formalization of mathematics for Coq
Description-md5: edbaa9c4853665d0d83d5a79d1b04ac7