[ubuntu/mantic-proposed] coq-ext-lib 0.11.8-1build1 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.11.8-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:10:48 +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-ext-lib/0.11.8-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:10:48 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.8-1build1
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-ext-lib (0.11.8-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 92e2992f450f17cf75fdbfd42e48e5a719f3705d 2088 coq-ext-lib_0.11.8-1build1.dsc
 aa6a02164698e9d097d3c7c4f9a2b53974c7e848 2140 coq-ext-lib_0.11.8-1build1.debian.tar.xz
 661a3e7c0ff5215b57637c86a575575b18d2d659 7790 coq-ext-lib_0.11.8-1build1_source.buildinfo
Checksums-Sha256:
 862486840efe89bc2ec4780c26d07c8b4565535f2790dd0d804f8dd2f5d1859a 2088 coq-ext-lib_0.11.8-1build1.dsc
 dd901c37b322161f143d561ebfbe65c2519136fcc95619a43b00481101b21455 2140 coq-ext-lib_0.11.8-1build1.debian.tar.xz
 0c8113365b3b534b8b0674104a0c23eabf34f257eed5b9e9d77e89acfc8d7b4b 7790 coq-ext-lib_0.11.8-1build1_source.buildinfo
Files:
 e05896cef5d94044d32275f19e08b6c1 2088 ocaml optional coq-ext-lib_0.11.8-1build1.dsc
 c4b5d24a26e90b1955a761d260d8e20c 2140 ocaml optional coq-ext-lib_0.11.8-1build1.debian.tar.xz
 24311e022e3f1c370303030d80ce8e77 7790 ocaml optional coq-ext-lib_0.11.8-1build1_source.buildinfo