Package: libcoq-math-classes
Source: coq-math-classes
Priority: optional
Section: universe/ocaml
Installed-Size: 10434
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.19.0-1build17
Provides: libcoq-math-classes-ctil8
Depends: libcoq-bignums-57pi5, libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_8.19.0-1build17_amd64.deb
Size: 3233168
MD5sum: a7fb954d0cbb2a8d3c9ef4cd700ecc0c
SHA1: 9b67dfbf10c0c2d9d07eabbc8a40160b0d32fe77
SHA256: dd959dd872b6915b22b08756dcbc542ac6008c076c5b900f45a5db02bb484cd7
SHA512: 0ea1b55ed247d0fc7d0365561cd379e475e85463b9cd352c4f7f902095c66289ffd3c83566300b450c1c8a1cbb13fb65d334e991c8e19f9e69fc0ccaa1e8c9d7
Homepage: https://github.com/coq-community/math-classes
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: d978edd31349c76fed385af09374b402
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug