Package: libcoq-math-classes
Source: coq-math-classes
Priority: optional
Section: universe/ocaml
Installed-Size: 9797
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 9.2.0-1build3
Provides: libcoq-math-classes-oynq9
Depends: libcoq-bignums-dhne6, libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_9.2.0-1build3_amd64.deb
Size: 3302122
SHA512: 3d9256aa925a348326eb5b0969ab917c343b5a6fcd1ce9baf537decbececfdf31871e2244407586ededfc55eb15c159143ca0fd5bd608cd4f6353751262999e5
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