Format: 1.8
Date: Sat, 17 Feb 2024 01:26:52 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-012.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:
 53d2cccdce791b033290073a38207539178cf1b3 1629416 libcoq-mathcomp-multinomials_2.2.0-1build2_riscv64.deb
 24bebc304f6ec2610f6134d233d3c48c35d8718d 7766 mathcomp-multinomials_2.2.0-1build2_riscv64.buildinfo
Checksums-Sha256:
 f2e6abc18703fcc85027f489de4ba7562d44547a1b1d7ea9eb492c68d39a63ca 1629416 libcoq-mathcomp-multinomials_2.2.0-1build2_riscv64.deb
 a3b09d48f9c17466e7de8d0ae5ee02587074d9617764f6744a11ad310c691f1a 7766 mathcomp-multinomials_2.2.0-1build2_riscv64.buildinfo
Files:
 7bfc36ac171f2fa2ed048a21d6e109a3 1629416 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_riscv64.deb
 6a1c934b63524a780d77c5dda6f6d817 7766 ocaml optional mathcomp-multinomials_2.2.0-1build2_riscv64.buildinfo