Package: libcoq-math-classes
Architecture: amd64
Version: 8.18.0-1build3
Priority: optional
Section: universe/ocaml
Source: coq-math-classes
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: 12926
Provides: libcoq-math-classes-tdbm3
Depends: libcoq-bignums-zm213, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_8.18.0-1build3_amd64.deb
Size: 3342658
MD5sum: a4a3f61584e4ad1337a8d89f0f126ab8
SHA1: 02ea96e87637dbb35eb25968a2efc40b9b9a0d48
SHA256: 239fa55e00a8553632610ccf0386e12acfc7ab0d49a0f6c734a2df3ca7b7e0fa
SHA512: e49699a9a9072e2675cfb90c8906294adab0029901ac7bc7aafe8fefaa77e88ab443971830d447acd6e9932fec0ac2e37b2c2c2d3e46347c6000c36e6804e3e8
Homepage: https://github.com/coq-community/math-classes
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: bbeb155966bce6ed102bd83d094e08a7