[ubuntu/plucky-proposed] coq-elpi 2.3.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.3.0-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:43:40 +0100
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.3.0-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:43:40 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build2
Distribution: plucky
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.3.0-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ff0dda494c2ecad378450fd1997008ad779d52dd 2066 coq-elpi_2.3.0-1build2.dsc
 b597c4494a75f19ea21efe57ec616d21048902c6 3828 coq-elpi_2.3.0-1build2.debian.tar.xz
 8132fc6b126ce354e615f5594a0a9d4c0b24132a 7752 coq-elpi_2.3.0-1build2_source.buildinfo
Checksums-Sha256:
 96d031ec29ea20c486168eb9321dc702c1013ddb81ec890bc51b210d0e7f9dfe 2066 coq-elpi_2.3.0-1build2.dsc
 aba439090e52ef727367abd9c970c15a72441fc558344089ce1746fbb62ba02c 3828 coq-elpi_2.3.0-1build2.debian.tar.xz
 67492e2ee05419bf98a71e62fee94b4756acdb2a40b5fa474309f75ca9a5c102 7752 coq-elpi_2.3.0-1build2_source.buildinfo
Files:
 da48f9e82ca1af7760b20a56ea2aa122 2066 ocaml optional coq-elpi_2.3.0-1build2.dsc
 5eb8023fe590495bebdd813e0b411cdc 3828 ocaml optional coq-elpi_2.3.0-1build2.debian.tar.xz
 3743ae4b60301b7380ee522923f144dd 7752 ocaml optional coq-elpi_2.3.0-1build2_source.buildinfo