[ubuntu/plucky-proposed] coq-elpi 2.3.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.3.0-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:24:40 +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/2.3.0-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:24:40 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build4
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (2.3.0-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d9f42a7e41b924ceeb33a57dd727542ec1d40fe4 2066 coq-elpi_2.3.0-1build4.dsc
 1efa875a8ab637ed4c3257b1b6ad13ffa8673866 3856 coq-elpi_2.3.0-1build4.debian.tar.xz
 f65d387964d38be29ba582b99652ef702a35bded 7291 coq-elpi_2.3.0-1build4_source.buildinfo
Checksums-Sha256:
 a6b2a36d0c09feb62343b0bfc5ebbff5ad79fa031dffdb7f7319eb144629a7d0 2066 coq-elpi_2.3.0-1build4.dsc
 3b4b517383f78095e769885d9806bec79e25ef9a402d4560958d1fd941933873 3856 coq-elpi_2.3.0-1build4.debian.tar.xz
 97a78b2b694b350817613fb409462b65fe393c6b08d66f6a82ec316ee45cf51e 7291 coq-elpi_2.3.0-1build4_source.buildinfo
Files:
 867dc766f07c36e2296ead3d62bdf7d4 2066 ocaml optional coq-elpi_2.3.0-1build4.dsc
 56ae9b9eb1757a006270f2adca98bed2 3856 ocaml optional coq-elpi_2.3.0-1build4.debian.tar.xz
 f22224c60437b0c6d4268af443c10ef3 7291 ocaml optional coq-elpi_2.3.0-1build4_source.buildinfo