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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sun, 27 Nov 2022 08:37:50 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 27 Nov 2022 08:37:50 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.16.0-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f65ea71905c1f29e51f75e71e778ebb5b9ad0d27 2024 coq-elpi_1.16.0-1build1.dsc
 b285c8cfdb93998788a87d3b3eb8cf54c0dd2063 3436 coq-elpi_1.16.0-1build1.debian.tar.xz
 6d737925386bbca3a1f377967921692ab819fa58 7877 coq-elpi_1.16.0-1build1_source.buildinfo
Checksums-Sha256:
 fe0d7fd745d3c023f5455f2d530f834ecab471178f801915e7ec166f54bd1841 2024 coq-elpi_1.16.0-1build1.dsc
 3bb8cafd3407361b82dbf06325e956f68e5da884dbc6988b87a6a982ac113a16 3436 coq-elpi_1.16.0-1build1.debian.tar.xz
 7bdedde9878e57d79afb31e176f76498612ba68b31c5dec393ecc877bdeecd03 7877 coq-elpi_1.16.0-1build1_source.buildinfo
Files:
 a8b65c22492479302de8737ce1277652 2024 ocaml optional coq-elpi_1.16.0-1build1.dsc
 f507d3a33bcefedfe95ba187535fa174 3436 ocaml optional coq-elpi_1.16.0-1build1.debian.tar.xz
 3471bbcb48d4e2378121da4db837522a 7877 ocaml optional coq-elpi_1.16.0-1build1_source.buildinfo