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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:14:18 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:14:18 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build3
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-1build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d346bb84ae9fa7b3f3beff2c6f0788299927b5c3 2029 coq-elpi_1.17.1-1build3.dsc
 22f9cef192306bad51cc015e9443adf6adf51e94 3632 coq-elpi_1.17.1-1build3.debian.tar.xz
 58a14fc31123ce8fbed910705bca28dbbd5b9eaf 7778 coq-elpi_1.17.1-1build3_source.buildinfo
Checksums-Sha256:
 3bf316f4051980beff315514f6d4bcfe9c2188968e573a722383043a5404f4b0 2029 coq-elpi_1.17.1-1build3.dsc
 87099a8ee5ac3be10b384d59a7ef71f3ebc24c816451a3b699c47e536edeef54 3632 coq-elpi_1.17.1-1build3.debian.tar.xz
 836defb0454399e34e0fa73be36017ee104924631a905fa0f18520b13cf9db60 7778 coq-elpi_1.17.1-1build3_source.buildinfo
Files:
 95af912d1e32a43f8e25dea113a21539 2029 ocaml optional coq-elpi_1.17.1-1build3.dsc
 de76060b25dbeeb9ed15b569c7c6afbc 3632 ocaml optional coq-elpi_1.17.1-1build3.debian.tar.xz
 a47097d41dde3acbbfad7aba7db8c3a0 7778 ocaml optional coq-elpi_1.17.1-1build3_source.buildinfo