[ubuntu/plucky-proposed] mathcomp-multinomials 2.3.0-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-multinomials (2.3.0-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 12:39:51 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-multinomials/2.3.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 12:39:51 -0500
Source: mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-multinomials (2.3.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 7117c1e47330d17390634957c327cbf87123417d 2296 mathcomp-multinomials_2.3.0-1build1.dsc
 264328724142a50f97b8fd182ce273e14dd17f08 9060 mathcomp-multinomials_2.3.0-1build1.debian.tar.xz
 4797676352381accde4374cc3186953e06d6d3f9 7132 mathcomp-multinomials_2.3.0-1build1_source.buildinfo
Checksums-Sha256:
 6252c747bcfd1165b5541dc7dbb2b16c595d2a47db044b78028e0a87c8db7467 2296 mathcomp-multinomials_2.3.0-1build1.dsc
 c5ade0e7983d1696b463ffef6a26b05c80bada95b5bd5928c274a751ad878084 9060 mathcomp-multinomials_2.3.0-1build1.debian.tar.xz
 9a0154ea12c4b676d80e4a2200ae4b83098be54377288edf4e5b81be8bb7e76a 7132 mathcomp-multinomials_2.3.0-1build1_source.buildinfo
Files:
 2652e18fb1f5ae350fa52905342855a6 2296 ocaml optional mathcomp-multinomials_2.3.0-1build1.dsc
 26eaec5be2123bfb728d89162511eb48 9060 ocaml optional mathcomp-multinomials_2.3.0-1build1.debian.tar.xz
 15460bd3f39b31cae78e56b8a8d12ad6 7132 ocaml optional mathcomp-multinomials_2.3.0-1build1_source.buildinfo