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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:43:55 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:43:55 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.3-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 acd1d12ba43fa45baa60a8d1780b82e2584ebcfa 2072 coq-gappa_1.5.3-1build3.dsc
 72be3580fb31875b0f4c4e9610c798bf66c0f3e2 2152 coq-gappa_1.5.3-1build3.debian.tar.xz
 a1c7adb280eacfcb2fb5e9cda197298c5761380e 7783 coq-gappa_1.5.3-1build3_source.buildinfo
Checksums-Sha256:
 17efaef5bbf05668c6a4c7ff62ee9f97f7f26e82760639393ff06c7366a99c49 2072 coq-gappa_1.5.3-1build3.dsc
 866059eba04a1e9732dad1bf473613b24446c41e6e573fcf19f26a6af56215f0 2152 coq-gappa_1.5.3-1build3.debian.tar.xz
 ae3f9750e19fca8bc3617bd5a0d9c6b7e175f10bbbcebb8a9e57aaf036df526c 7783 coq-gappa_1.5.3-1build3_source.buildinfo
Files:
 2021495387b716139a7d491ff9ab0092 2072 math optional coq-gappa_1.5.3-1build3.dsc
 111eee9b4f45d9ecae52049861084262 2152 math optional coq-gappa_1.5.3-1build3.debian.tar.xz
 eee5dc668fbfcbaa54310ec5145f397f 7783 math optional coq-gappa_1.5.3-1build3_source.buildinfo