Format: 1.8
Date: Sat, 17 Feb 2024 01:26:52 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 2.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-019.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components
Changes:
 mathcomp-multinomials (2.2.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4b3414f1dddfb2bdcfd036992de94f8d06cd1a7a 1629400 libcoq-mathcomp-multinomials_2.2.0-1build2_ppc64el.deb
 45debf3f15b5ae2db915f9ad84cb061030e52dce 7981 mathcomp-multinomials_2.2.0-1build2_ppc64el.buildinfo
Checksums-Sha256:
 34902ca1f4b5661720551da6c7fa482777c098bcfca8cc05bdcb5ef32a74580f 1629400 libcoq-mathcomp-multinomials_2.2.0-1build2_ppc64el.deb
 3679519234ba6cd2a877a04757060b151a5887a427ef760c9fbdf10f1a2acdb1 7981 mathcomp-multinomials_2.2.0-1build2_ppc64el.buildinfo
Files:
 6c3ee09b2cfcdfbc58c8f99574fedb27 1629400 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_ppc64el.deb
 58b97269a7682ef6ca873ecbcb89f2a7 7981 ocaml optional mathcomp-multinomials_2.2.0-1build2_ppc64el.buildinfo