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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:41:03 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:41:03 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build2
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 11564822a568293d2e2249dbf90d46c5b390df5f 2022 coq-elpi_2.1.0-1build2.dsc
 0975f95d72ec8280f7aaa58ca371501c097c9c57 3736 coq-elpi_2.1.0-1build2.debian.tar.xz
 950ea0139419879a6e8974beec47c5897edc6f0a 7820 coq-elpi_2.1.0-1build2_source.buildinfo
Checksums-Sha256:
 ff92dd234e33179aa567c704dffb426e6a6eba9df7a228b74b60c20435041152 2022 coq-elpi_2.1.0-1build2.dsc
 37207113a9c88dd7ce18debd367bd062d1e22edd56f73d8e2cf65b0b757b9f5f 3736 coq-elpi_2.1.0-1build2.debian.tar.xz
 436640072288ac454178d28e6616524adef411d8712fd978c809b8dd652aa57a 7820 coq-elpi_2.1.0-1build2_source.buildinfo
Files:
 63815669fdd6b043f0ef448cc9a7a88a 2022 ocaml optional coq-elpi_2.1.0-1build2.dsc
 1bcfd0f53786f4250e078b71ecd2b71a 3736 ocaml optional coq-elpi_2.1.0-1build2.debian.tar.xz
 9d9d5d3bbe9f631eda3c0abf1ab2ee87 7820 ocaml optional coq-elpi_2.1.0-1build2_source.buildinfo