[ubuntu/mantic-proposed] coq-elpi 1.17.1-1build8 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.17.1-1build8) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 28 Aug 2023 17:11:13 +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/1.17.1-1build8
-------------- next part --------------
Format: 1.8
Date: Mon, 28 Aug 2023 17:11:13 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build8
Distribution: mantic
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-1build8) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 49d860822393cbe0e9b4dae4e9d065b583473d8d 2029 coq-elpi_1.17.1-1build8.dsc
 193095e6094f1cf53e26b50e5dd2ad93b6ff65c0 3692 coq-elpi_1.17.1-1build8.debian.tar.xz
 932208f2170ec2f3d81e0d8096a1d88cf2907604 7772 coq-elpi_1.17.1-1build8_source.buildinfo
Checksums-Sha256:
 6c05a0d4f2442e3494ce62e9bbeac460c4a7ed829c21bf94a52555fd5f2c1827 2029 coq-elpi_1.17.1-1build8.dsc
 07399489f05fbb8df8fdb23f509cbbfba2d601b4edbed19403d8a5b1f47e2185 3692 coq-elpi_1.17.1-1build8.debian.tar.xz
 1944c3bddcff80138d871fa9b2adf2170e8c3f3650049b85b01331b9d1069b2b 7772 coq-elpi_1.17.1-1build8_source.buildinfo
Files:
 1e128d9308e0d0f43d0cb42281ac951d 2029 ocaml optional coq-elpi_1.17.1-1build8.dsc
 aa86dc8d71b956520f0a02bcf17d16d9 3692 ocaml optional coq-elpi_1.17.1-1build8.debian.tar.xz
 1359bd523dc4f8c89353316d0e680f7a 7772 ocaml optional coq-elpi_1.17.1-1build8_source.buildinfo