Package: libcoq-mathcomp-multinomials
Source: mathcomp-multinomials
Priority: optional
Section: universe/ocaml
Installed-Size: 7796
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.5.0-3build1
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-multinomials-m0675
Depends: libcoq-elpi-shov2, libcoq-mathcomp-algebra-qptj6, libcoq-mathcomp-bigenough-oc3o3, libcoq-mathcomp-finmap-kjsv3, libcoq-mathcomp-ssreflect-aj4k8
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.5.0-3build1_amd64.deb
Size: 2672532
SHA512: 25d80d3f4211c5e4222ce48fa9ba136d0a092eebb4a610fe42d3480d0a06549bcece9610daa93fe3437213fe665f3ac5e9bde6e7c835cf0d42b70fdd102634fd
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug