[ubuntu/noble-proposed] coq-elpi 1.17.1-1build10 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.17.1-1build10) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:02 +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/1.17.1-1build10
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:02 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build10
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (1.17.1-1build10) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 510d3a7f6df387a6963cb27bbfb174c4555c1ab9 2033 coq-elpi_1.17.1-1build10.dsc
 afd7aeb0d694cdfc72024fd3514f645430ec0a21 3716 coq-elpi_1.17.1-1build10.debian.tar.xz
 07185ea74bcd347d4722d76adeacac66f9d6452e 7808 coq-elpi_1.17.1-1build10_source.buildinfo
Checksums-Sha256:
 0bea6579e17f0d64e5c206b72d5b7e6e4a35dc8d41d8e0b0d629acd098d87415 2033 coq-elpi_1.17.1-1build10.dsc
 120f29197bffe6c4434b74ce1d231e7e50b9dccbcbe38377e2bb65e606b7b803 3716 coq-elpi_1.17.1-1build10.debian.tar.xz
 f1e80c904f307faae6eed70e8c31326d832245372195f512478a2e60c5abd366 7808 coq-elpi_1.17.1-1build10_source.buildinfo
Files:
 64a782cc9455a4c1139ea38a3b3d343b 2033 ocaml optional coq-elpi_1.17.1-1build10.dsc
 b98bfa708614070e07030fee22a0716f 3716 ocaml optional coq-elpi_1.17.1-1build10.debian.tar.xz
 6b00be3adcb9a78880e38ab4c69e06e0 7808 ocaml optional coq-elpi_1.17.1-1build10_source.buildinfo