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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:51:38 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:51:38 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build5
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-1build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 be57d198c411bb27ccd3401fcc4a8a2a1102912d 2022 coq-elpi_2.1.0-1build5.dsc
 3f7139b28291a2e9a8af4ddee8e5ff677dda9829 3804 coq-elpi_2.1.0-1build5.debian.tar.xz
 4623b007887e8c138cd3384cf6e6f8f4ccb4f117 7844 coq-elpi_2.1.0-1build5_source.buildinfo
Checksums-Sha256:
 056f1a8acdacc6ee7721cdeee6f7badb7fc6ee8a88b5057b2bf2f18e3de37e20 2022 coq-elpi_2.1.0-1build5.dsc
 518097cfe6d5dd93cc2fb18222642b3e014c3aae55634e30f32d3f92ba556705 3804 coq-elpi_2.1.0-1build5.debian.tar.xz
 cc3ca38f2f231524c4d7911098897c7b78995cb2132083b2826a014e8aaa9d8a 7844 coq-elpi_2.1.0-1build5_source.buildinfo
Files:
 7bd583a97d16a8db53e94e604a4ba28d 2022 ocaml optional coq-elpi_2.1.0-1build5.dsc
 0ef7ae61b2e2477da9ba85c257799b38 3804 ocaml optional coq-elpi_2.1.0-1build5.debian.tar.xz
 30779bbdd70ac85c9a1e252dc97973c2 7844 ocaml optional coq-elpi_2.1.0-1build5_source.buildinfo