Package: libcoq-mathcomp-multinomials
Source: mathcomp-multinomials
Priority: optional
Section: universe/ocaml
Installed-Size: 7023
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build15
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-multinomials-3qf56
Depends: libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-bigenough-jvyd2, libcoq-mathcomp-finmap-a6x16, libcoq-mathcomp-ssreflect-ak300
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.3.0-1build15_amd64.deb
Size: 2082548
MD5sum: e6789286622fe2b3272d510b99c34811
SHA1: b138519d37bca02d802425e2db50eea3857d3046
SHA256: aa5c32631070c6e91f2e183cebc82f124b2fc6628e7c76206fe97f2870d74dd9
SHA512: c647a1cdb3dbc2e99407abe3a91a25d99f927e8c711fabd45f2e73064681b729ecb892903aacbbde98d0d9f979f3ffe01d6762cbf3159fe8de6ad03a28bbde62
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