Format: 1.8
Date: Sat, 17 Feb 2024 01:26:52 +0100
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: s390x
Version: 2.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-008.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:
 abad9c87c7e0fc2e6878becc8227a0b87d334e31 1629462 libcoq-mathcomp-multinomials_2.2.0-1build2_s390x.deb
 2af93408374d3d295290f10749029bb500ead9cf 7817 mathcomp-multinomials_2.2.0-1build2_s390x.buildinfo
Checksums-Sha256:
 be56ed3b1bb5220956c559efe4208b1af701e68dc1b1d05e6c1efa2f564dea72 1629462 libcoq-mathcomp-multinomials_2.2.0-1build2_s390x.deb
 24a997d2cc48a77aa19af15457ab0c4b8b61796a56edaaec4142eead077934d7 7817 mathcomp-multinomials_2.2.0-1build2_s390x.buildinfo
Files:
 ffb17b04f19bb6406a898029b35dc9ba 1629462 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_s390x.deb
 e6aa69fda997c2e85cacc9d343622249 7817 ocaml optional mathcomp-multinomials_2.2.0-1build2_s390x.buildinfo