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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:13:21 +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-1build9
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:13:21 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build9
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-1build9) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 94a40c08bb8c973b07f5389ebf4a5d88b46c6f9b 2029 coq-elpi_1.17.1-1build9.dsc
 a16b19c0e3d3ce2b974cb63931aa31dbd7e3aa2e 3708 coq-elpi_1.17.1-1build9.debian.tar.xz
 a54c3c60d142014cb7645a56fb82d33a0b1d07b1 7804 coq-elpi_1.17.1-1build9_source.buildinfo
Checksums-Sha256:
 adbb3c95326c099c9d934b4ce022224ddd1bbc3d3fa189b85ffa54113253b45a 2029 coq-elpi_1.17.1-1build9.dsc
 469f93f27f2873b1642777febaf458d0e5af8670c7f16eb6aefee18fe481b20f 3708 coq-elpi_1.17.1-1build9.debian.tar.xz
 9610dd2ca86b19e957564cdd4ef0df240b4296205c1bd34e506b044b8e172783 7804 coq-elpi_1.17.1-1build9_source.buildinfo
Files:
 063021d8cc625e0c7443664d4e181daf 2029 ocaml optional coq-elpi_1.17.1-1build9.dsc
 bbb22c2443cff93c0927c7007cfcf6ea 3708 ocaml optional coq-elpi_1.17.1-1build9.debian.tar.xz
 5654377b4e799e3801d4cdcbbbf0d580 7804 ocaml optional coq-elpi_1.17.1-1build9_source.buildinfo