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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:33:52 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:33:52 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build3
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-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d93d9031555e34d9ffa8f7f09477f82a7dc1c155 2022 coq-elpi_2.1.0-1build3.dsc
 16aa75c6e8edd5d3dee9595410707b687af8ae7a 3744 coq-elpi_2.1.0-1build3.debian.tar.xz
 fd6f9951425ea78420853d6d8b04025b06cbd2ff 7820 coq-elpi_2.1.0-1build3_source.buildinfo
Checksums-Sha256:
 ef40c742836fc49294eab3739d3b0cdd58bdbbcac11c2fde44f1e2fc5c793923 2022 coq-elpi_2.1.0-1build3.dsc
 1343f8c05ecc55fd8dc0dc932ac061f1eefde8f429fecccf7615dae06f0226da 3744 coq-elpi_2.1.0-1build3.debian.tar.xz
 41479beddc7e56600dbe46483edd91bbdb74467fdae378255e041725f5ca3a83 7820 coq-elpi_2.1.0-1build3_source.buildinfo
Files:
 b3c63e65925bf8d9b9cbe90f0a3db20f 2022 ocaml optional coq-elpi_2.1.0-1build3.dsc
 a1ba0c9fce8eeb9e29f93778a883c0cf 3744 ocaml optional coq-elpi_2.1.0-1build3.debian.tar.xz
 d1693dacf298c5fa8de0d1aaa7f5d8c1 7820 ocaml optional coq-elpi_2.1.0-1build3_source.buildinfo