[ubuntu/lunar-proposed] coq-elpi 1.16.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.16.0-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 23:55:06 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 23:55:06 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.16.0-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2830e84b3044eaf71c7cdf014d405feafc28b81a 2029 coq-elpi_1.16.0-2build1.dsc
 cef499c94ddb01b424a1c4633be2de4eb5d52c94 3472 coq-elpi_1.16.0-2build1.debian.tar.xz
 c2810d018f406295082dfb7fc30b0d696a4b5621 7144 coq-elpi_1.16.0-2build1_source.buildinfo
Checksums-Sha256:
 536cd3c383a737fe3a9279a41f735d538215adacbfe155fcf355716ced35a378 2029 coq-elpi_1.16.0-2build1.dsc
 337859edbcd76394162354835be1658bcc6f74248aef6ef283e6099bc52721eb 3472 coq-elpi_1.16.0-2build1.debian.tar.xz
 4cf2a0930feac6a535628e4d47829a3b4a2041fa91f911ef1f9a9ac0660cc79e 7144 coq-elpi_1.16.0-2build1_source.buildinfo
Files:
 e8af4b4eb1acc697fd4726cb17c40bc4 2029 ocaml optional coq-elpi_1.16.0-2build1.dsc
 8908f464011927cc4950a00c09aef000 3472 ocaml optional coq-elpi_1.16.0-2build1.debian.tar.xz
 dcbf229a26f63678d467e52835efee7f 7144 ocaml optional coq-elpi_1.16.0-2build1_source.buildinfo