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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 14 May 2022 18:35:24 +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-7build2
-------------- next part --------------
Format: 1.8
Date: Sat, 14 May 2022 18:35:24 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-7build2
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-7build2) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0b095bff9e9fc0646c5b0c215b07993209905f7e 2141 coq-elpi_1.13.0-7build2.dsc
 85593ab9e77e132aeb80ff06c466394b1f34f8d4 3148 coq-elpi_1.13.0-7build2.debian.tar.xz
 b651b390c5a193b9015c1950d99d8f0eb1521cf6 7334 coq-elpi_1.13.0-7build2_source.buildinfo
Checksums-Sha256:
 48672051a983864325327fe7d183f7f7dc29e8516a2dd423a54e4eabe3c8a417 2141 coq-elpi_1.13.0-7build2.dsc
 18c5c3d4caeb639b6dfb4b0b0d23723e99d4786ae35df705858b0145359d9970 3148 coq-elpi_1.13.0-7build2.debian.tar.xz
 174b78df9b52edf620c3c6f4fa83011365a9f18a1f1d86ab59c5143d9c6b9b00 7334 coq-elpi_1.13.0-7build2_source.buildinfo
Files:
 78e10cf05dfa05073f239d2406bb42e1 2141 ocaml optional coq-elpi_1.13.0-7build2.dsc
 145d2cfceb3bd5ae1c23766698e0ba86 3148 ocaml optional coq-elpi_1.13.0-7build2.debian.tar.xz
 749a081a45545ee301927233fb3a42b1 7334 ocaml optional coq-elpi_1.13.0-7build2_source.buildinfo