Format: 1.8
Date: Sat, 17 Feb 2024 01:26:52 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: amd64
Version: 2.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-095.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:
 9b3977af12eb582b413cf578c9ff5ffec51fce67 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb
 9cecc15476efe990d5949c5565915741d788cf2c 8006 mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo
Checksums-Sha256:
 0d7d81deddc8aa35d721c4f1f2c6ec76a9f752e89c2332eb5cf062155d0bea9d 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb
 c53bf5987d15fafad6e7e99133f9dd00b6851d9d1a144d45458816b85161a29e 8006 mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo
Files:
 3f781b06cd5db9db959c32db0633059d 1629438 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb
 b68ba8ebb022b682230149fc100617cf 8006 ocaml optional mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo