[ubuntu/oracular-proposed] coq-elpi 2.1.0-1build7 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.1.0-1build7) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 07 Sep 2024 13:08:09 +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/2.1.0-1build7
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 13:08:09 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build7
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (2.1.0-1build7) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cfe38d25f454cf98b071f390c8769fe3a37c549d 2022 coq-elpi_2.1.0-1build7.dsc
 ad1b6c96f43e68178be22e6845fd879082846413 3828 coq-elpi_2.1.0-1build7.debian.tar.xz
 31c0ba78f7879a02341f8eb9cfcfe5fd0ac8f0d3 7844 coq-elpi_2.1.0-1build7_source.buildinfo
Checksums-Sha256:
 9f6aae78e7aeb2822f0abb5892b7ed6000eb34232beeac391edd779ec9674e5a 2022 coq-elpi_2.1.0-1build7.dsc
 47d985bb0f59e3c33459c41ac2313b99cff4d65b716d41dd328cec18d69fa1fc 3828 coq-elpi_2.1.0-1build7.debian.tar.xz
 e9b5b84d0d7e1072f0d960eadabf2d8097fff520b28f2d9f301582d621424e34 7844 coq-elpi_2.1.0-1build7_source.buildinfo
Files:
 a5aa8fce4dbf3e94f1ff91bbbed8e3aa 2022 ocaml optional coq-elpi_2.1.0-1build7.dsc
 168afbb91ed2e9519b0291124c623fcb 3828 ocaml optional coq-elpi_2.1.0-1build7.debian.tar.xz
 9d6bee37f5a266592a5baf1749f7cd3c 7844 ocaml optional coq-elpi_2.1.0-1build7_source.buildinfo