[ubuntu/noble-proposed] coqeal 1.1.3-1build5 (Accepted)

[Jeremy Bícha]

coqeal (1.1.3-1build5) noble; urgency=medium

  * Rebuild against latest coq

Date: Tue, 26 Dec 2023 21:52:19 -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/coqeal/1.1.3-1build5
-------------- next part --------------
Format: 1.8
Date: Tue, 26 Dec 2023 21:52:19 -0500
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build5
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:
 coqeal (1.1.3-1build5) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 bf7ec4546a05ac4fe9b895233dad67d1d516e1a0 2178 coqeal_1.1.3-1build5.dsc
 61d66813f6b156cff894de62c165a1b1b1fdcdc0 2404 coqeal_1.1.3-1build5.debian.tar.xz
 d8fc087bbc45640946c07c9b1e5bd6b76a54bea0 7248 coqeal_1.1.3-1build5_source.buildinfo
Checksums-Sha256:
 e966a4aceafb0fe5af81cb5e13121f486459198047b161074b91a59b2b879844 2178 coqeal_1.1.3-1build5.dsc
 ab555b124c2913c39abf11eec6bdbd0f931d6e127c91e760d69b30b311450cf9 2404 coqeal_1.1.3-1build5.debian.tar.xz
 3b2f7a3aeee4bc081ad7e7e9c951143cd3b81492539883d1853a0f60d9169583 7248 coqeal_1.1.3-1build5_source.buildinfo
Files:
 6788bdef38f3dcb6a32c9037fed36dca 2178 ocaml optional coqeal_1.1.3-1build5.dsc
 aec42b59c2ef8d9dc81402bfa256bcb3 2404 ocaml optional coqeal_1.1.3-1build5.debian.tar.xz
 c6ecd6008efce2f4faa56e7ef47c8cf7 7248 ocaml optional coqeal_1.1.3-1build5_source.buildinfo