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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09:14 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:14 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8abb8d5d7ed0be55a4971219f0386e7a02e852ef 2022 coq-elpi_2.1.0-1build1.dsc
 709e54f8c9476955fadcd52f4e7c77df80160dec 3724 coq-elpi_2.1.0-1build1.debian.tar.xz
 950079e7b571e76f405e8077e71e8f362a3afafd 7820 coq-elpi_2.1.0-1build1_source.buildinfo
Checksums-Sha256:
 ca1131d75edc1c70c7f59a256bb8de586ceb366a31e8f8bd9b92247a8997e0dd 2022 coq-elpi_2.1.0-1build1.dsc
 e6c07509133a638116cc39cbc00b059fdf132f9d05c36930600cad6cf32b04bb 3724 coq-elpi_2.1.0-1build1.debian.tar.xz
 790008963482a3a3f24ff761e1e4ddc64b183a6bb2bbc673cabc819ea36fa53b 7820 coq-elpi_2.1.0-1build1_source.buildinfo
Files:
 a660c36834d8e9d876c36c37533539e5 2022 ocaml optional coq-elpi_2.1.0-1build1.dsc
 98921f6936f73110f3081bfb902029f7 3724 ocaml optional coq-elpi_2.1.0-1build1.debian.tar.xz
 be493bd15fbfdc3b56baed8f403f6a7e 7820 ocaml optional coq-elpi_2.1.0-1build1_source.buildinfo