Package: libcoq-mathcomp-multinomials
Architecture: amd64
Version: 2.2.0-1build5
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: 3780
Provides: libcoq-mathcomp-multinomials-j2a75
Depends: libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-bigenough-zlev0, libcoq-mathcomp-finmap-iofh4, libcoq-mathcomp-ssreflect-y5tl2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.2.0-1build5_amd64.deb
Size: 1629440
MD5sum: 3658d2a50d938a87483426eb8b8dbb30
SHA1: 285fc49e85ccce6e9f6b37eef49725624b61b65e
SHA256: 5014fd491cfb63e9bd5991e6bd6009624f2d0ff2a657a4ba4095030902f4898f
SHA512: 6f2b546aec8311a516dab8f247fcca49b60012fd2753c0d06eb8ab58180b3758d074f9831e6163d344767c5fa6c70c732385c19e73c1416ae44d6f2dfa42be54
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b