[ubuntu/kinetic-proposed] coq-elpi 1.14.0-5build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.14.0-5build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 21 Jul 2022 18:05:00 +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.14.0-5build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Jul 2022 18:05:00 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.14.0-5build1
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.14.0-5build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0b832d0b696637342860e36bf34cd26d0756ca45 2164 coq-elpi_1.14.0-5build1.dsc
 e675ecfaf57bc6c5ce62ef871413971164d9b5cd 3284 coq-elpi_1.14.0-5build1.debian.tar.xz
 c5de1e525beabd6f1cd389070bc017ccfbdba265 7331 coq-elpi_1.14.0-5build1_source.buildinfo
Checksums-Sha256:
 af4377df46cf15440a1940e57a1fe83133d03835c266e05ebeb6d0b96eb1e09f 2164 coq-elpi_1.14.0-5build1.dsc
 0b04767e7947f265e5a490df36bc41845434376b8cacaad8e8aeac630fcad52d 3284 coq-elpi_1.14.0-5build1.debian.tar.xz
 9112fd2c4131508d7eecc497efbc75b9d43ee02264e4b5ddefb4e0ee3c4f5db0 7331 coq-elpi_1.14.0-5build1_source.buildinfo
Files:
 eb95dd8ade03c1cf389bc1a01ef8b037 2164 ocaml optional coq-elpi_1.14.0-5build1.dsc
 25235690a11497540525741d24afbfdc 3284 ocaml optional coq-elpi_1.14.0-5build1.debian.tar.xz
 1ed7b598fdee784ae16a184aafef5313 7331 ocaml optional coq-elpi_1.14.0-5build1_source.buildinfo