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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 27 Jul 2023 11:44:49 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Thu, 27 Jul 2023 11:44:49 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.1-1build5
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-1build5) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 63542e4f417607dfb37f0c135d12681acb4185df 2029 coq-elpi_1.17.1-1build5.dsc
 0c2de44a90398aa1a4f6004c6eadab10c6ebcdb9 3652 coq-elpi_1.17.1-1build5.debian.tar.xz
 70ccb7c10238773ac5671b7f9956e2dfff465755 7778 coq-elpi_1.17.1-1build5_source.buildinfo
Checksums-Sha256:
 66341fe7283e8bd1c7844c6d6056c3aca87e993817ae773311352d2219d94cce 2029 coq-elpi_1.17.1-1build5.dsc
 b56fe012d481df92dd2ea9639c7439c36312c63395454cf29f0bd186b77a55fe 3652 coq-elpi_1.17.1-1build5.debian.tar.xz
 417bc3e5381e8dc8e1667aaeb1ce3008dce04c7328588055565b6c95835d2e76 7778 coq-elpi_1.17.1-1build5_source.buildinfo
Files:
 77f8d8f83865084f686745a51ecc8008 2029 ocaml optional coq-elpi_1.17.1-1build5.dsc
 09f40017fd95738d20a81a867a970849 3652 ocaml optional coq-elpi_1.17.1-1build5.debian.tar.xz
 09ba7ba3d1ffbf6087a9fcdc8158d6d3 7778 ocaml optional coq-elpi_1.17.1-1build5_source.buildinfo