Package: libcoq-mathcomp-multinomials
Architecture: amd64
Version: 2.3.0-1build6
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: 7024
Provides: libcoq-mathcomp-multinomials-7mw88
Depends: libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra-tliv7, libcoq-mathcomp-bigenough-ayzm7, libcoq-mathcomp-finmap-ggpp5, libcoq-mathcomp-ssreflect-rrbv4
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.3.0-1build6_amd64.deb
Size: 2085458
MD5sum: f3d330e7ecc8e4bef2d9eb2c9cdeb54b
SHA1: d59cf17a0af6a0ebd334aca72d068ae982d7d91e
SHA256: d64e547ec83cc000a5e748eb297a3806824b4e4354e1ac0bcbfb98bfa09c001f
SHA512: 29be9d1172f06697df996ae7b034096dc6ce212d1dc7dd425fc7fc275be8ed0e757a7e820dc8d2f433ad5ce55e57284a34764d343b51d63f18513e870e04a99a
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b