Package: libcoq-mathcomp-algebra
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 80891
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Provides: libcoq-mathcomp-algebra-qptj6
Depends: libcoq-mathcomp-finite-group (= 2.6.0-3build2), libcoq-mathcomp-order (= 2.6.0-3build2), libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.6.0-3build2_amd64.deb
Size: 27240956
SHA512: 81b4674e9c427927a526a514542e6b79fcea0e2c0cc696fb7693645baa2a01fdad6a43dbbd8b1a8d24c95b96b9909460a37d6e6573a457f662ee8ba06aff96e5
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug