[ubuntu/mantic-proposed] coq-elpi 1.17.1-1build4 (Accepted)

[Gianfranco Costamagna]

coq-elpi (1.17.1-1build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:14:07 +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/1.17.1-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:14:07 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build4
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (1.17.1-1build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cb5819c335c06bf54a3fc810901206bc93c651e0 2029 coq-elpi_1.17.1-1build4.dsc
 ff9011b7adaf6499d74e8ab5152855f8137382db 3644 coq-elpi_1.17.1-1build4.debian.tar.xz
 675ad28010af5ee2ae7c89c7721ca1b4d6233e70 7778 coq-elpi_1.17.1-1build4_source.buildinfo
Checksums-Sha256:
 ef608488f8fa73128ba914ec422a859319dbd3773818643d1102a7c5e904257b 2029 coq-elpi_1.17.1-1build4.dsc
 a36eebfbc5a0fa672d079931674605bbc14eedf3a278686328250bd0926a0ac6 3644 coq-elpi_1.17.1-1build4.debian.tar.xz
 4354802b37360af671ac561a73ba2ddd8f96fd275ee90563ba9afb704dd991c7 7778 coq-elpi_1.17.1-1build4_source.buildinfo
Files:
 c4e6d2df0d6f1c1f38e721264022818e 2029 ocaml optional coq-elpi_1.17.1-1build4.dsc
 587337ae810f92b1547dafc459a42580 3644 ocaml optional coq-elpi_1.17.1-1build4.debian.tar.xz
 83cbd4aa10f2a3a7ccf1748aad029968 7778 ocaml optional coq-elpi_1.17.1-1build4_source.buildinfo