Package: libcoq-math-classes
Architecture: amd64
Version: 8.19.0-1build13
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-8owv9
Depends: libcoq-bignums-3tk18, libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_8.19.0-1build13_amd64.deb
Size: 3247364
MD5sum: dffa2d89ccfacaba2eafd99659b66f35
SHA1: 525c56d39e79928153c5b70605ef2663cf7333f6
SHA256: 96d47d5adaee21438ce51d52617cf8951f74df8dab9f97b73d8b70fdd0c31c4b
SHA512: 5c3939a8f751fdb3024de4b29c40304cb5c0dc4cc973f712da93264598dee356d51cec9ac212e236a71362f61d5ddce491dc9e70e88fbf1bb7a384b56cf639f2
Homepage: https://github.com/coq-community/math-classes
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: bbeb155966bce6ed102bd83d094e08a7