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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:01:35 +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.2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:01:35 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.2build1
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.2build1) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5cb87915e1e7ea617b1fe5f1dc31200ee12127a7 2074 coq-elpi_2.5.0-1.2build1.dsc
 277674acdf51a87fb4c2a4626f7bba5d0bb878b8 3972 coq-elpi_2.5.0-1.2build1.debian.tar.xz
 ffb70085aa6ef51728a54b9035c64a68cfe71617 7881 coq-elpi_2.5.0-1.2build1_source.buildinfo
Checksums-Sha256:
 90b03ce52d7ece7a6214e2dac104afb9734b0ed47538994d8bdbd59a7eea16c3 2074 coq-elpi_2.5.0-1.2build1.dsc
 5b98135fb279cc968a2a59e357b749083210a23c855aaeee74517c6fb6966855 3972 coq-elpi_2.5.0-1.2build1.debian.tar.xz
 3cdbd977d5a5596c2189c2dc0c71c8429b2ad8c1ab749bf015461229689c3b8d 7881 coq-elpi_2.5.0-1.2build1_source.buildinfo
Files:
 e0666a9698c2a4e814926d75aa09922f 2074 ocaml optional coq-elpi_2.5.0-1.2build1.dsc
 35857b8c4246ef3ca046c8a358a5d0cf 3972 ocaml optional coq-elpi_2.5.0-1.2build1.debian.tar.xz
 23d0f44fbbd793439883d4e63a8e2c71 7881 ocaml optional coq-elpi_2.5.0-1.2build1_source.buildinfo