[ubuntu/questing-proposed] coq-elpi 2.5.0-1.1build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.5.0-1.1build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:18:48 +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.1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:18:48 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1build1
Distribution: questing
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.1build1) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 66b9a330b246f6de9aba64a67f94c92a6ce57ba4 2074 coq-elpi_2.5.0-1.1build1.dsc
 d80afb0fdcbbc8717419e0a9e622f278787cfcb8 3936 coq-elpi_2.5.0-1.1build1.debian.tar.xz
 d274582b6c5defc63bb2f5dd87b30198b8460ad8 6892 coq-elpi_2.5.0-1.1build1_source.buildinfo
Checksums-Sha256:
 4e8c59934cdaeddb71e63f41df4f218522687157722674b65f3e79f1f1951e21 2074 coq-elpi_2.5.0-1.1build1.dsc
 7cd637b63311f319aaa61c4ed9610bfa520508f10ae357ee1d45e6f933aca696 3936 coq-elpi_2.5.0-1.1build1.debian.tar.xz
 a043a64a922fc554bb46e36ac448772006de51f75ab8740ed5df738f6109fc2d 6892 coq-elpi_2.5.0-1.1build1_source.buildinfo
Files:
 3ea2508f1fa88c0fb79d7fbdba461727 2074 ocaml optional coq-elpi_2.5.0-1.1build1.dsc
 934ed530b434737a63cd19e683b316f8 3936 ocaml optional coq-elpi_2.5.0-1.1build1.debian.tar.xz
 cdb2c2ce2b2fc64589747d04de53ac28 6892 ocaml optional coq-elpi_2.5.0-1.1build1_source.buildinfo