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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:27:16 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:27:16 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4ba3646b0bf28da11588f55b5654603eb79ff9e4 2066 coq-elpi_2.3.0-1build1.dsc
 7bf16b01ddc9c243f8ea2623236342bc23e100e0 3820 coq-elpi_2.3.0-1build1.debian.tar.xz
 e86517312b3c4f62161d5c4dadf822720284b4b4 7752 coq-elpi_2.3.0-1build1_source.buildinfo
Checksums-Sha256:
 3e7a2345bc1560f0902a69a358e9f62ecbf626ce117e1b1ef9103b80a39f6843 2066 coq-elpi_2.3.0-1build1.dsc
 dd0d0900b899bde2f13730e4675ec3bbc2d75fe1694d0cce5bc7c221d92c42b6 3820 coq-elpi_2.3.0-1build1.debian.tar.xz
 f85b48388a2e8f1dedbe15651b4004835395eb04aca322d2266bbdeaed2ca8a8 7752 coq-elpi_2.3.0-1build1_source.buildinfo
Files:
 5e1fa8d21456de02f6ff01409694eb7b 2066 ocaml optional coq-elpi_2.3.0-1build1.dsc
 13c53088e65996bb39584b619cacadfc 3820 ocaml optional coq-elpi_2.3.0-1build1.debian.tar.xz
 01cdc65a16dd19e82522906453b11a4d 7752 ocaml optional coq-elpi_2.3.0-1build1_source.buildinfo