[ubuntu/noble-proposed] coquelicot 3.4.1-1build1 (Accepted)

[Jeremy Bícha]

coquelicot (3.4.1-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:49:42 -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.1-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:49:42 -0500
Source: coquelicot
Built-For-Profiles: noudeb
Architecture: source
Version: 3.4.1-1build1
Distribution: noble
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.1-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 a4825b807a5b60b725401feb464a01e2bc571462 2084 coquelicot_3.4.1-1build1.dsc
 b752343531b418c6b61d66662a7a0daa035a194e 2128 coquelicot_3.4.1-1build1.debian.tar.xz
 f5927244505b74306fe6948b2b0975792889c661 7631 coquelicot_3.4.1-1build1_source.buildinfo
Checksums-Sha256:
 23262aacd6e1dcd8d6fd26da81d09075755764eb327b11fb8de1c2f83f51e750 2084 coquelicot_3.4.1-1build1.dsc
 47f557fd166d5efab6cce60d0f11b64bad39d245777acfefb91ae8c23040a51b 2128 coquelicot_3.4.1-1build1.debian.tar.xz
 ec74958688a75137a6d7601623c8a5ab8bcc106e38bef544589f1c6ddf976553 7631 coquelicot_3.4.1-1build1_source.buildinfo
Files:
 09a0bb43b457d9517160d4767491f0c8 2084 ocaml optional coquelicot_3.4.1-1build1.dsc
 90478b46e5b10b887a01c3a254900be2 2128 ocaml optional coquelicot_3.4.1-1build1.debian.tar.xz
 2abcf496c899d52646d049c2fe3cf625 7631 ocaml optional coquelicot_3.4.1-1build1_source.buildinfo