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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 24 Oct 2025 06:52:43 +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.1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 24 Oct 2025 06:52:43 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1build3
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.1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8f080d0a3f9607f3afc109a5809068c5f3e7130a 2074 coq-elpi_2.5.0-1.1build3.dsc
 d1047cbe3a6a35f2d504cbfd4425bf6a457d6ad7 3964 coq-elpi_2.5.0-1.1build3.debian.tar.xz
 bcb5d27afb97a4d3f6d148434b600d74fb6c90b4 6894 coq-elpi_2.5.0-1.1build3_source.buildinfo
Checksums-Sha256:
 7d97fa6a62996470a0338bd574c899d4b6668688cc75b88dd24d3264fba505ce 2074 coq-elpi_2.5.0-1.1build3.dsc
 57642b2a7ad8fe45aadba4578740d566a5dd3cb9571fee56c9833d2dfdd0b14d 3964 coq-elpi_2.5.0-1.1build3.debian.tar.xz
 4577c299917ebf71579389895b29aba7171d75cdcc4bdb16d28a0f663a089c45 6894 coq-elpi_2.5.0-1.1build3_source.buildinfo
Files:
 ac7a7d1b2df1303d195898aaa5db287e 2074 ocaml optional coq-elpi_2.5.0-1.1build3.dsc
 a8dde800fd7d27c97b5ca1d8dae06cd4 3964 ocaml optional coq-elpi_2.5.0-1.1build3.debian.tar.xz
 4bb10285388baf10ebb7e066bbc81a66 6894 ocaml optional coq-elpi_2.5.0-1.1build3_source.buildinfo