Format: 1.8
Date: Thu, 02 Jun 2022 13:44:54 +0200
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: amd64
Version: 1.5.5-5
Distribution: kinetic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-015.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components
Changes:
 mathcomp-multinomials (1.5.5-5) unstable; urgency=medium
 .
   * Re-upload because of ABI breakage.
Checksums-Sha1:
 f010d2005c493a63f0bb3dccf323cd36a32137a3 1536598 libcoq-mathcomp-multinomials_1.5.5-5_amd64.deb
 95d3a0b3cee4541ae4a0fc206a9c60e84770abb0 6855 mathcomp-multinomials_1.5.5-5_amd64.buildinfo
Checksums-Sha256:
 3ef26bdd8bcb9bb4746e5d3b049634ea80452d7fed31bf3303095e33ce1c4db7 1536598 libcoq-mathcomp-multinomials_1.5.5-5_amd64.deb
 e8b284be770469dd4a2ff02f6d611f1a944af63ef144699551af2c8f1dc96e3f 6855 mathcomp-multinomials_1.5.5-5_amd64.buildinfo
Files:
 140372559e2f73177ca668338ce1ffbe 1536598 ocaml optional libcoq-mathcomp-multinomials_1.5.5-5_amd64.deb
 e5c599a31726e7ee1c74b466e0d71655 6855 ocaml optional mathcomp-multinomials_1.5.5-5_amd64.buildinfo