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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:43:11 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:43:11 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build3
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ebfeea0a111ad2ed0be075de91c4a73722719dfe 2066 coq-elpi_2.3.0-1build3.dsc
 f2ec09aacab223f94d3e697d009ae9693efb6167 3844 coq-elpi_2.3.0-1build3.debian.tar.xz
 a714a6ed5de46901aea52ab7e64fcd12f04c34a5 7291 coq-elpi_2.3.0-1build3_source.buildinfo
Checksums-Sha256:
 19ce838b0e0b422d17637637760193bd44d44e23761c08c6e58e36320307b6c7 2066 coq-elpi_2.3.0-1build3.dsc
 5c9d34bfd5b711177f97b9eb1b23ba52f328c9bb40d1e6a99f3d37743687e60a 3844 coq-elpi_2.3.0-1build3.debian.tar.xz
 96ba5ea2ee332184bd6023973b8ce0f5c7fca4370a402d96bf2bcf3e2e51ad8a 7291 coq-elpi_2.3.0-1build3_source.buildinfo
Files:
 357157d53aa0aa837d4f7cacb9368eb5 2066 ocaml optional coq-elpi_2.3.0-1build3.dsc
 ac87cacf3d44c7f85f9d7882bca43a11 3844 ocaml optional coq-elpi_2.3.0-1build3.debian.tar.xz
 45547ff3dd6213560ff4dca311de9567 7291 ocaml optional coq-elpi_2.3.0-1build3_source.buildinfo