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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:49:17 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:49:17 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build8
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-1build8) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fd23d3b26d2c3bc55c09f1101e7edf5051366cd8 2022 coq-elpi_2.1.0-1build8.dsc
 f3138551659c2de397e5b76451f337a1a7e0a6a7 3836 coq-elpi_2.1.0-1build8.debian.tar.xz
 32964aff8f4e215d51f4ca0c053072ae5d384a90 7844 coq-elpi_2.1.0-1build8_source.buildinfo
Checksums-Sha256:
 95dd0bd2d944e4c6668f5a697256644d1fd45df5392e9d9644f1e0c9d460a7a8 2022 coq-elpi_2.1.0-1build8.dsc
 99c176d060e30f1123849bf17675510642ad202c71ee1e5a3cb2ecbdfe40e218 3836 coq-elpi_2.1.0-1build8.debian.tar.xz
 60ad7084bba49cc9a2dccbe1703b52e2336745d17b334d55dc1d56eb9f45b6f4 7844 coq-elpi_2.1.0-1build8_source.buildinfo
Files:
 3adc460b9eba04b14d52f2482bf4767f 2022 ocaml optional coq-elpi_2.1.0-1build8.dsc
 f46e460f345031a866ad1d16c3c56729 3836 ocaml optional coq-elpi_2.1.0-1build8.debian.tar.xz
 ca48a2813c4dcb2013f1b361735ca6ed 7844 ocaml optional coq-elpi_2.1.0-1build8_source.buildinfo