Package: libcoq-math-classes
Architecture: amd64
Version: 8.19.0-1build14
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: 10434
Provides: libcoq-math-classes-wyqp2
Depends: libcoq-bignums-cupc8, libcoq-stdlib-kgau6
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_8.19.0-1build14_amd64.deb
Size: 3233304
MD5sum: b7f55075e6f7c7f4e5efd1b4c2e007e6
SHA1: f5787001806a4a32ceba0d4c0e61d319c26c8aed
SHA256: 06207cf199b33e28130d42bc103033d8dac977399228351a7cf32f71a14b4a9e
SHA512: 4ba159570701a778373483132570e3779da48e4cde09f76df77605203989645e1bb3397b6d053c35f3443acd1b4b65ee5a088c4dbc76a0c8fa1f99819f967b16
Homepage: https://github.com/coq-community/math-classes
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: bbeb155966bce6ed102bd83d094e08a7