Package: libcoq-mathcomp-multinomials
Source: mathcomp-multinomials
Version: 2.3.0-1build15
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 7023
Depends: libcoq-elpi (>= 1.19), libcoq-mathcomp-algebra-g2xj2, libcoq-mathcomp-bigenough-k9d45, libcoq-mathcomp-finmap-hqy43, libcoq-mathcomp-ssreflect-bqio0
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-multinomials-1czt9
Section: ocaml
Priority: optional
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
 This package provides an extension to Mathematical Components
 for monomial algebra, multivariate polynomials over ring
 structures and an extended theory for polynomials whose
 coefficients live in abelian rings and integral domains.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.
