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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:45:30 +0200
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.1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:45:30 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1build2
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.1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 aeea6358b37e3a9d6a1dabe32765832040951e9a 2074 coq-elpi_2.5.0-1.1build2.dsc
 2b29b9b09c345d7089b1413622bbb8dd6c9a5f0f 3956 coq-elpi_2.5.0-1.1build2.debian.tar.xz
 70a910a7626fcb19cd4e0f218ef24e4ff9028995 6894 coq-elpi_2.5.0-1.1build2_source.buildinfo
Checksums-Sha256:
 36d76e66d8c557a136ee365fbe57eef946c3b555e734c57404737e0c7a96a662 2074 coq-elpi_2.5.0-1.1build2.dsc
 807678e1dd4ef81005b3e6e595608db97f2bd17236485c10cbf8c45ee951faca 3956 coq-elpi_2.5.0-1.1build2.debian.tar.xz
 7206f0789c95e37162e1279fcd4e73cd00dc771ddac8a0f65cb8ae69b4d33c30 6894 coq-elpi_2.5.0-1.1build2_source.buildinfo
Files:
 90cbdbdeada06f0c4c3ca4cd4ffa25e8 2074 ocaml optional coq-elpi_2.5.0-1.1build2.dsc
 48322c8019c984b4bb30130c61efa325 3956 ocaml optional coq-elpi_2.5.0-1.1build2.debian.tar.xz
 5b2df33964fdee3acec300cc547fcc66 6894 ocaml optional coq-elpi_2.5.0-1.1build2_source.buildinfo