Publishing details

• Published on 2023-11-04

Changelog

mathcomp-multinomials (1.6.0-3build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:14:58 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libcoq-mathcomp-multinomials Multivariate polynomials for Mathematical Components

Package files

• libcoq-mathcomp-multinomials_1.6.0-3build2_amd64.deb (1.4 MiB)
• libcoq-mathcomp-multinomials_1.6.0-3build2_arm64.deb (1.4 MiB)
• libcoq-mathcomp-multinomials_1.6.0-3build2_armhf.deb (1.4 MiB)
• libcoq-mathcomp-multinomials_1.6.0-3build2_ppc64el.deb (1.4 MiB)
• libcoq-mathcomp-multinomials_1.6.0-3build2_riscv64.deb (1.4 MiB)
• mathcomp-multinomials_1.6.0-3build2.debian.tar.xz (8.7 KiB)
• mathcomp-multinomials_1.6.0-3build2.dsc (2.2 KiB)
• mathcomp-multinomials_1.6.0.orig.tar.gz (83.8 KiB)