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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:14:53 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-gappa/1.5.3-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:14:53 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.3-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-gappa (1.5.3-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0351066aacd96c89d3ec8b0e49007eeeb07ea231 2072 coq-gappa_1.5.3-1build2.dsc
 099b3f789a29f482a8c6d6a0f5c133b6c08c013f 2132 coq-gappa_1.5.3-1build2.debian.tar.xz
 0995c5d3dea7c0c15e7f11dbef19ce8d7cd8e7be 7783 coq-gappa_1.5.3-1build2_source.buildinfo
Checksums-Sha256:
 0a1686d7423579d491eaa383b162f56854698afa1b267a7b3c5c793bab19ea52 2072 coq-gappa_1.5.3-1build2.dsc
 bedd081057d9ba8764bb97a0930a465b941833d440467673d0b3d18cb8930d84 2132 coq-gappa_1.5.3-1build2.debian.tar.xz
 8c7860550dfe5ee7d8d444097e1ba007b84adea4bbd5a1fa4a0e33899772c362 7783 coq-gappa_1.5.3-1build2_source.buildinfo
Files:
 ee7e62c7e826bd0e260c2745355868f1 2072 math optional coq-gappa_1.5.3-1build2.dsc
 4b9e92326fc2fc5b5c108015f6ad5e36 2132 math optional coq-gappa_1.5.3-1build2.debian.tar.xz
 2817f7e9b63024e094aa42b5e34d3a0c 7783 math optional coq-gappa_1.5.3-1build2_source.buildinfo