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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 28 Jul 2023 05:34:55 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 05:34:55 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build6
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-1build6) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d350d225303ab8a0df5da1adc35816be3679f2f6 2029 coq-elpi_1.17.1-1build6.dsc
 0516cc60c3811791671f1aadc55a92489ee6d9b1 3664 coq-elpi_1.17.1-1build6.debian.tar.xz
 ab9b78c3cce088f7beb7a5e2ec468098d7ca5e5c 7778 coq-elpi_1.17.1-1build6_source.buildinfo
Checksums-Sha256:
 5ad26b76af22dc2f33435477afdf0603c2af056e831ba08fdbda369637bc3ff9 2029 coq-elpi_1.17.1-1build6.dsc
 cf6dc3bfd6a6ff5089f8330cfa47f8db06fef76f67514a315e0910451459aae9 3664 coq-elpi_1.17.1-1build6.debian.tar.xz
 09f31ecfc8f06c4e1d2c06195b74daaf4ca7d6d18af153a0e161d62a6f24c378 7778 coq-elpi_1.17.1-1build6_source.buildinfo
Files:
 10ee8bf0fabf9650686ffe328ca661a0 2029 ocaml optional coq-elpi_1.17.1-1build6.dsc
 91dcb1c1357858914bbe45892dc3f4ef 3664 ocaml optional coq-elpi_1.17.1-1build6.debian.tar.xz
 a5bb0901a7368065dc3dda6a13270c4a 7778 ocaml optional coq-elpi_1.17.1-1build6_source.buildinfo