Format: 1.8
Date: Sat, 17 Feb 2024 01:26:52 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: arm64
Version: 2.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-020.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:
 08f56b1b4fefece2c40469f36900c969bc72fba3 1629410 libcoq-mathcomp-multinomials_2.2.0-1build2_arm64.deb
 ae99187da5fcb7e741d67a695ab7baa82d5c2794 7973 mathcomp-multinomials_2.2.0-1build2_arm64.buildinfo
Checksums-Sha256:
 17b47693286564ac294d19e7b5887f5865743cc28619d9925ef679a52272cf1d 1629410 libcoq-mathcomp-multinomials_2.2.0-1build2_arm64.deb
 86734d396dca48a033dd05708b0a81a32f23b09baf865d46eb9f0e695f4e509d 7973 mathcomp-multinomials_2.2.0-1build2_arm64.buildinfo
Files:
 56e6509369799891660658c8295ab7fb 1629410 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_arm64.deb
 e708b8348e3ed334bee9ab27aac6c1e3 7973 ocaml optional mathcomp-multinomials_2.2.0-1build2_arm64.buildinfo