[ubuntu/noble-proposed] coq-gappa 1.5.3-1build4 (Accepted)

[Jeremy Bícha]

coq-gappa (1.5.3-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:20:12 -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/coq-gappa/1.5.3-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:20:12 -0500
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.3-1build4
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:
 coq-gappa (1.5.3-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8f3cd344cf770e2531014ed2586a38f3350b96f3 2072 coq-gappa_1.5.3-1build4.dsc
 be129dddf5bcc05da5d6737d169c9e2b850a287e 2216 coq-gappa_1.5.3-1build4.debian.tar.xz
 309c72cdc9b320cb6b11319cbe86f62048adac06 7260 coq-gappa_1.5.3-1build4_source.buildinfo
Checksums-Sha256:
 63254f826a693542875ba5d54bfd6ca361c60eec6433a341482d1754723cc76a 2072 coq-gappa_1.5.3-1build4.dsc
 c765760468ede058844af42adacff284d12045b7196c92a659af9121fc2955fd 2216 coq-gappa_1.5.3-1build4.debian.tar.xz
 07ba5f5ca5b3c67c3526f14ae410ecf0299ac4c60d5ccdf8313475ad1c4492dd 7260 coq-gappa_1.5.3-1build4_source.buildinfo
Files:
 49fb8ff7072c1d3fb44cbcf2eb6cd8dd 2072 math optional coq-gappa_1.5.3-1build4.dsc
 04cc04f57b99538638229eb075bc8fe2 2216 math optional coq-gappa_1.5.3-1build4.debian.tar.xz
 adf63c596a091b0470995b9446ee7e02 7260 math optional coq-gappa_1.5.3-1build4_source.buildinfo