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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 01 Jun 2022 17:34:39 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Wed, 01 Jun 2022 17:34:39 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-2build1
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-2build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d69d95bc54a3a85f1b94da733c2c3ce2ec1e31be 2141 coq-elpi_1.14.0-2build1.dsc
 cde0102bc4419037dad521c1983c234cb4602989 3240 coq-elpi_1.14.0-2build1.debian.tar.xz
 3ec362719d468956017137778c1df8d771426324 7343 coq-elpi_1.14.0-2build1_source.buildinfo
Checksums-Sha256:
 865f1d5c3359beb1e8f8154407ab6403802e8761d87f89f83b947d5d1e45e068 2141 coq-elpi_1.14.0-2build1.dsc
 c0ef8158fba77c32d59e22ee863879440e64f1a87c2f01b391c3147f48275be9 3240 coq-elpi_1.14.0-2build1.debian.tar.xz
 c1ca7a3995bd2139c7f8f430872f044ed920db04e2f25ee218d3a084120e1e43 7343 coq-elpi_1.14.0-2build1_source.buildinfo
Files:
 448d09ee4f91b6cd72fa5a53c142b09c 2141 ocaml optional coq-elpi_1.14.0-2build1.dsc
 2487a96526de081aabbad8f89f2ebb7f 3240 ocaml optional coq-elpi_1.14.0-2build1.debian.tar.xz
 64f486536aacece18b9b926514459289 7343 ocaml optional coq-elpi_1.14.0-2build1_source.buildinfo