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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:13:55 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-elpi/1.19.3-2build4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:13:55 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.19.3-2build4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (1.19.3-2build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7eb3c01d1465428ae3e29033b710fd040d03722b 2108 coq-elpi_1.19.3-2build4.dsc
 80a3fd937d60ae34ba92b46e1fc562505f684a6c 3852 coq-elpi_1.19.3-2build4.debian.tar.xz
 8e522605fa8da2a40c52f5bf9be354078ea8b104 7824 coq-elpi_1.19.3-2build4_source.buildinfo
Checksums-Sha256:
 fb39029ddc9514dcda82a83944736b3a9aacac5fe3ac848e657654fd78efae15 2108 coq-elpi_1.19.3-2build4.dsc
 8f2da4a54f93e37a8c168a40d035a94ff9ed518a0f9471a202932885f900b7e3 3852 coq-elpi_1.19.3-2build4.debian.tar.xz
 9a2fe1e519f89002e1a1b6936cbb8bc039340ec1c9470d3b9d54c37cf4772471 7824 coq-elpi_1.19.3-2build4_source.buildinfo
Files:
 a73249696a1fa2499baa17dc9aad2d08 2108 ocaml optional coq-elpi_1.19.3-2build4.dsc
 b0eed001de99e9d9e70d985c482ed9a8 3852 ocaml optional coq-elpi_1.19.3-2build4.debian.tar.xz
 93429f01b4532ae61d52613e6bec8b31 7824 ocaml optional coq-elpi_1.19.3-2build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>