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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 07 Sep 2024 08:49:53 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 08:49:53 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build6
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-1build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3dfea79fe4556400bf67f88ddce8568487dd8efa 2022 coq-elpi_2.1.0-1build6.dsc
 a3be4d688176ba1c9d24ca28b54e53a5f685cc43 3820 coq-elpi_2.1.0-1build6.debian.tar.xz
 7ac1da98343f19b5312a4771547efd779d93730a 7844 coq-elpi_2.1.0-1build6_source.buildinfo
Checksums-Sha256:
 3e80dbdb504fb66cf05d3c70fb8d6cb498f8c7981b1a4e3c3126168f9576fc4f 2022 coq-elpi_2.1.0-1build6.dsc
 8afe46fac67955c72bc3acf4959c64aa7644d88c346aa5ec84ca92d0b04849bd 3820 coq-elpi_2.1.0-1build6.debian.tar.xz
 af71258e7ae6eea1a7f5bf4f7ec69d3c7fa2e674d6a26d286086b49a605c7c35 7844 coq-elpi_2.1.0-1build6_source.buildinfo
Files:
 f7f82a4b841de60eb55fd61c1408b7da 2022 ocaml optional coq-elpi_2.1.0-1build6.dsc
 b29b04d96cad3a9d4734306780c65ac0 3820 ocaml optional coq-elpi_2.1.0-1build6.debian.tar.xz
 6ccf3de52b9b4e6a1db4a86175018b51 7844 ocaml optional coq-elpi_2.1.0-1build6_source.buildinfo