[ubuntu/lunar-proposed] coq-elpi 1.16.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.16.0-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 21:27:59 +0100
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.16.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 21:27:59 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.16.0-1build2
Distribution: lunar
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.16.0-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2aa0f4c6e70d04ff8b89c769c720d00a40ceb07a 2024 coq-elpi_1.16.0-1build2.dsc
 f35dbc10633ee72400eb19119e474873d8e23f2f 3448 coq-elpi_1.16.0-1build2.debian.tar.xz
 3edd8c964097ae5d0fe66d675a4d80ba705bfbc0 7879 coq-elpi_1.16.0-1build2_source.buildinfo
Checksums-Sha256:
 50facccb5253426081520ef71b06dcf2a7438b62aef5e0c40047eb796b723bec 2024 coq-elpi_1.16.0-1build2.dsc
 6104cd5598990cc5792d43b20da9ba68f1c16191c3c63a0947e58bdd611dcf1b 3448 coq-elpi_1.16.0-1build2.debian.tar.xz
 d7aa623de592832a5781a513660e402cce073fa689aab18f379d92da9b3214d8 7879 coq-elpi_1.16.0-1build2_source.buildinfo
Files:
 4dda67d3f5d468b78df2876ef4477dac 2024 ocaml optional coq-elpi_1.16.0-1build2.dsc
 8db210ce3cdbe2dc4c1dd6c5a39adc42 3448 ocaml optional coq-elpi_1.16.0-1build2.debian.tar.xz
 105492e7ed75198aed18e58eb575788c 7879 ocaml optional coq-elpi_1.16.0-1build2_source.buildinfo