[ubuntu/plucky-proposed] coquelicot 3.4.2-1build2 (Accepted)

[Jeremy Bícha]

coquelicot (3.4.2-1build2) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:42:16 -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/coquelicot/3.4.2-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:42:16 -0500
Source: coquelicot
Built-For-Profiles: noudeb
Architecture: source
Version: 3.4.2-1build2
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:
 coquelicot (3.4.2-1build2) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 bcbf4b354ec57d2dbe1d5a12d2d288a46dca28fd 2087 coquelicot_3.4.2-1build2.dsc
 9fa893184b696e8543482a5e658a45a61b149b56 2384 coquelicot_3.4.2-1build2.debian.tar.xz
 391bb89d70e97820416b5c3cb2b0208e8a49780f 7088 coquelicot_3.4.2-1build2_source.buildinfo
Checksums-Sha256:
 a4125d55d8fd9f0de9d6b79cacdf44ee0a0ff8a185447eb07e619366392ea4d1 2087 coquelicot_3.4.2-1build2.dsc
 ad812efd0ed2b2dc146f73acb26357648dfe008c8c2676240dbe98883fd44e4a 2384 coquelicot_3.4.2-1build2.debian.tar.xz
 c6d1573a2948fe1f699286e73939d5ab4cc32573c066096e4f8c570e7239c56f 7088 coquelicot_3.4.2-1build2_source.buildinfo
Files:
 d1a4ba0a23b2b50910a6584584d8cc10 2087 ocaml optional coquelicot_3.4.2-1build2.dsc
 5bd720ea34733106564c6d660f614ab7 2384 ocaml optional coquelicot_3.4.2-1build2.debian.tar.xz
 e28261215a3d601cd6ad8e106978b712 7088 ocaml optional coquelicot_3.4.2-1build2_source.buildinfo