all options
bookworm  ] [  sid  ]

Source Package: mathcomp-multinomials (1.5.5-8)

Links for mathcomp-multinomials

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-mathcomp-multinomials
Multivariate polynomials for Mathematical Components

Other Packages Related to mathcomp-multinomials

  • build-depends
  • build-depends-indep

Download mathcomp-multinomials

FileSize (in kB)MD5 checksum
mathcomp-multinomials_1.5.5-8.dsc 2.2 kB 777d11c86753e771ed5333c21473212e
mathcomp-multinomials_1.5.5.orig.tar.gz 85.0 kB 9c11553913e0f309b807c11035e97f28
mathcomp-multinomials_1.5.5-8.debian.tar.xz 8.5 kB e741780d41555f445b331c8809ffc29f
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/mathcomp-multinomials