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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 18 Jul 2023 08:17:02 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Jul 2023 08:17:02 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build2
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-1build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 76534b9df58cca7b8ffe953a95eb77e794b2c34b 2029 coq-elpi_1.17.1-1build2.dsc
 23428632d43c98ea6b7b396c045b799ba6fa4886 3620 coq-elpi_1.17.1-1build2.debian.tar.xz
 0919c30cadde148c3a96501967f907b25eb7e7ad 7778 coq-elpi_1.17.1-1build2_source.buildinfo
Checksums-Sha256:
 97651da1819bba4385d768cf5f9ac42a367261915ad53330d960326c4d89cb98 2029 coq-elpi_1.17.1-1build2.dsc
 95a6de1dc88308e8cf5a07284e4f1779c3ef60f832d300433d93a69ba647604b 3620 coq-elpi_1.17.1-1build2.debian.tar.xz
 3346f3eb6ffe541e8f88b3047333f68786a9e497890963dde1f763f5e54df3c5 7778 coq-elpi_1.17.1-1build2_source.buildinfo
Files:
 c08a20e69d92f91b693e54ec6a9b7b06 2029 ocaml optional coq-elpi_1.17.1-1build2.dsc
 6e63664370884a900f55e7350e053f2b 3620 ocaml optional coq-elpi_1.17.1-1build2.debian.tar.xz
 8b2c1435f6b895c48bdbb13fa381d909 7778 ocaml optional coq-elpi_1.17.1-1build2_source.buildinfo