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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sun, 20 Aug 2023 09:33:50 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Sun, 20 Aug 2023 09:33:50 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build7
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-1build7) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 778d1f941f2a7138350b44614a0d3d2d3cd6368b 2029 coq-elpi_1.17.1-1build7.dsc
 d2490cdcf4c88bb9b30fbcecfa08115ee819f710 3676 coq-elpi_1.17.1-1build7.debian.tar.xz
 4ab998578e752d874dc47992e980fa461312af1a 7772 coq-elpi_1.17.1-1build7_source.buildinfo
Checksums-Sha256:
 d853d64a94d37434cbeca3818143529c45de983fa8a801d2fadff102dbdb8769 2029 coq-elpi_1.17.1-1build7.dsc
 3365099bd2206959b897e149b985ad26f6566abd63e1f4338711ddd2f5406c3e 3676 coq-elpi_1.17.1-1build7.debian.tar.xz
 d25716cf5a5df5dd7ec8166ce7bef6715492f20a85df1500a158525bd29812d7 7772 coq-elpi_1.17.1-1build7_source.buildinfo
Files:
 a8a225b9e144e4b82f1d98e6d2d1d4f8 2029 ocaml optional coq-elpi_1.17.1-1build7.dsc
 d2887abb82d3c3934bb94ca477a0d301 3676 ocaml optional coq-elpi_1.17.1-1build7.debian.tar.xz
 e232f01d610c58aa06ac209ddf4c9c32 7772 ocaml optional coq-elpi_1.17.1-1build7_source.buildinfo