Package: libcoq-mathcomp-multinomials
Architecture: amd64
Version: 2.2.0-3build6
Priority: optional
Section: universe/ocaml
Source: mathcomp-multinomials
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: 6898
Provides: libcoq-mathcomp-multinomials-rw3k5
Depends: libcoq-mathcomp-algebra-lyc29, libcoq-mathcomp-bigenough-hsws4, libcoq-mathcomp-finmap-v63b4, libcoq-mathcomp-ssreflect-uyii6
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.2.0-3build6_amd64.deb
Size: 1993064
MD5sum: b638c5b3d8c73bfe17615a0713ada987
SHA1: b0bea581eac1bdedecb9281fb4626fada4117ec5
SHA256: 373995e485a8a210d8a9ea69aa6e0351396c636a50c1383d92024eea5a8adf35
SHA512: 0d606c708bfeac25aa8f94e3311e6dd19b44b3fc6c361c3f70690bbf3186545703fce8ce3012aab7678068292ceb6447d968d38b2ee0fcaf52363b2d489e2de7
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b