[ubuntu/noble-proposed] coq-elpi 1.19.3-2build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.19.3-2build1) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:24:20 +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-elpi/1.19.3-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:24:20 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.19.3-2build1
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-elpi (1.19.3-2build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 008e3caaf7973bd6a2305be7684672b16d9f8e93 2029 coq-elpi_1.19.3-2build1.dsc
 e2f1c0b2ff7202c34ef72a34cce651bff7de8462 3700 coq-elpi_1.19.3-2build1.debian.tar.xz
 d7c03ab396d85fbf577071e063aae8cbb3918e8a 7807 coq-elpi_1.19.3-2build1_source.buildinfo
Checksums-Sha256:
 aca8e390ba4d768f13ec81c29107bb5f6aee69403d2e85273736a18e0420a9a4 2029 coq-elpi_1.19.3-2build1.dsc
 38ba60532a42f961f906c3d1e6fc86bb4d04a3cbbb13126f0d31b96397a82c1c 3700 coq-elpi_1.19.3-2build1.debian.tar.xz
 31cd78d5733d1dbd92f2d0b4254a06edc67c48724ae8390b7651383ce7901c76 7807 coq-elpi_1.19.3-2build1_source.buildinfo
Files:
 8966644fdc3d54c7d0f317afe56875c7 2029 ocaml optional coq-elpi_1.19.3-2build1.dsc
 2f6fb1c3d488b1e9a51fad6ccea9b63c 3700 ocaml optional coq-elpi_1.19.3-2build1.debian.tar.xz
 76c94f3e7972f33b8cfc297b4a344302 7807 ocaml optional coq-elpi_1.19.3-2build1_source.buildinfo