[ubuntu/questing-proposed] coquelicot 3.4.3-1build2 (Accepted)

[Jeremy Bícha]

coquelicot (3.4.3-1build2) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:21 -0400
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.3-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:21 -0400
Source: coquelicot
Built-For-Profiles: noudeb
Architecture: source
Version: 3.4.3-1build2
Distribution: questing
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.3-1build2) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 79df04c67192864b91fa0ed04b652f39048d5ea5 2087 coquelicot_3.4.3-1build2.dsc
 0812abb4f46042a0550d748668cee4523e92ce96 2412 coquelicot_3.4.3-1build2.debian.tar.xz
 ebaebbbfa60a870089a7b2fcca97f636a80619a6 6897 coquelicot_3.4.3-1build2_source.buildinfo
Checksums-Sha256:
 c24a18191003ae2d65b4eb5f7df188378a4b605d6c8c56a01c83ca2f322099e3 2087 coquelicot_3.4.3-1build2.dsc
 3363e7ab9836f0fb396d7752551eda2b6d486b9431535cbac735452bfc3a4646 2412 coquelicot_3.4.3-1build2.debian.tar.xz
 1afa3ab5c21593ed8e73be1a7190ba08e6372df852e3e5a7e9e64a5b3d4a8009 6897 coquelicot_3.4.3-1build2_source.buildinfo
Files:
 d788b052d8e6e982f4f675d638b112ac 2087 ocaml optional coquelicot_3.4.3-1build2.dsc
 56a3bd6c5b2330c557c56df76022f1ed 2412 ocaml optional coquelicot_3.4.3-1build2.debian.tar.xz
 a34f9ae36adb50a3f59dd84af01837ad 6897 ocaml optional coquelicot_3.4.3-1build2_source.buildinfo