[ubuntu/resolute-proposed] coq-elpi 2.5.0-1.2build2 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.5.0-1.2build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:30:39 +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.5.0-1.2build2
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:30:39 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.2build2
Distribution: resolute
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.5.0-1.2build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d0bab636a8e043f0b96fb87dbb61e20a49cfe0c7 2074 coq-elpi_2.5.0-1.2build2.dsc
 3f407335d508bcaef934ee2760d9df5ec3bdb5a8 3980 coq-elpi_2.5.0-1.2build2.debian.tar.xz
 51970127f852aeaa8c555de0e29a4adb61d7b6da 7885 coq-elpi_2.5.0-1.2build2_source.buildinfo
Checksums-Sha256:
 c628200a451d6aa87d119555105ac44935ca24f563832fa731acd70c956761b5 2074 coq-elpi_2.5.0-1.2build2.dsc
 b857e5cda2b905087cbd264ed9046471d72f45938aa42196fee48abb6c4dd613 3980 coq-elpi_2.5.0-1.2build2.debian.tar.xz
 bd0cda7c98b321a9a003374f604fdb6ff14f5c5f2421c2edc7af82099b42b6ef 7885 coq-elpi_2.5.0-1.2build2_source.buildinfo
Files:
 9ddbb20e5c2b16a2627a698ca30c98df 2074 ocaml optional coq-elpi_2.5.0-1.2build2.dsc
 3b5c418b832f25b2b48b34fd5d42d166 3980 ocaml optional coq-elpi_2.5.0-1.2build2.debian.tar.xz
 94ce3c972bad8150ac46eb915ec5e759 7885 ocaml optional coq-elpi_2.5.0-1.2build2_source.buildinfo