[ubuntu/kinetic-proposed] coq-elpi 1.13.0-7build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.13.0-7build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 02 May 2022 08:16:38 +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.13.0-7build1
-------------- next part --------------
Format: 1.8
Date: Mon, 02 May 2022 08:16:38 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-7build1
Distribution: kinetic
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.13.0-7build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9164440d701c28c7907140a6039fbc12c17364a2 2141 coq-elpi_1.13.0-7build1.dsc
 82d6da9a01766f780c2c42c83a3a17a447f48beb 3132 coq-elpi_1.13.0-7build1.debian.tar.xz
 be1b8f1b73abd0e1be01dca9efdca9ee2bd93b9c 7334 coq-elpi_1.13.0-7build1_source.buildinfo
Checksums-Sha256:
 c59a4191c1d50354a767f392dc03bd519a3cbbb3b674b66fe4310cb37023d4ee 2141 coq-elpi_1.13.0-7build1.dsc
 bbb55f6f8b7cde6e8f2d29e5778f0348d735ffdcf700c3cd6269f64fbfb892ab 3132 coq-elpi_1.13.0-7build1.debian.tar.xz
 2584124db40629053f49c10629979100d67b536badf14d7204f216a7eb9061b5 7334 coq-elpi_1.13.0-7build1_source.buildinfo
Files:
 f6b40b8a580117e4919d063eedc8cc4b 2141 ocaml optional coq-elpi_1.13.0-7build1.dsc
 8844bafb6894c923f61979e4fe1f21cd 3132 ocaml optional coq-elpi_1.13.0-7build1.debian.tar.xz
 f8f6ce51bf1bbc4191f4a47e813c81f5 7334 ocaml optional coq-elpi_1.13.0-7build1_source.buildinfo