[ubuntu/mantic-proposed] coq-elpi 1.17.1-1build1 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.17.1-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 07 Jul 2023 22:40:40 +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.17.1-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 07 Jul 2023 22:40:40 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build1
Distribution: mantic
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.17.1-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d45eb92d9e4de8dff9fbcc216f770ce8be606ab0 2029 coq-elpi_1.17.1-1build1.dsc
 55633240e99cd884252f6a96a5c195de86ff0cfb 3604 coq-elpi_1.17.1-1build1.debian.tar.xz
 915a34ebda246737efac56c15fa09e411a0162de 7778 coq-elpi_1.17.1-1build1_source.buildinfo
Checksums-Sha256:
 5aa340e8780d86c3258c2517b5e0906a0b8d2f78884e1ed47785ec36379d41dd 2029 coq-elpi_1.17.1-1build1.dsc
 a6d2816c5637c1d3f06ddf4091f519aa88f51077a342eaa4cbc60daee53d02df 3604 coq-elpi_1.17.1-1build1.debian.tar.xz
 1675f0ebfd4f1e10825e4f76006f18066230948d6ca37d4ea1fe4f46a881eb5a 7778 coq-elpi_1.17.1-1build1_source.buildinfo
Files:
 9dfa1f09433f46b64450f39343d338cb 2029 ocaml optional coq-elpi_1.17.1-1build1.dsc
 cfce772697cad613814330c4e14b7c35 3604 ocaml optional coq-elpi_1.17.1-1build1.debian.tar.xz
 03d3baf3fc328c21e9a455a490d8de41 7778 ocaml optional coq-elpi_1.17.1-1build1_source.buildinfo