[ubuntu/noble-proposed] coq-ext-lib 0.11.8-1build3 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.11.8-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:09 +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-ext-lib/0.11.8-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:09 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.11.8-1build3
Distribution: noble
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 eb1c216306b9ad893debc363ef8bee157abebe36 2088 coq-ext-lib_0.11.8-1build3.dsc
 008165de52c76474637131f25d3e64eaf3916fb3 2180 coq-ext-lib_0.11.8-1build3.debian.tar.xz
 3e49d9d4bf4befa51859546694b5c8d41d565619 7816 coq-ext-lib_0.11.8-1build3_source.buildinfo
Checksums-Sha256:
 a2c26b6c2ec893be0081e8971480b5598a4e0755426edf06f04d2b378f7a2d05 2088 coq-ext-lib_0.11.8-1build3.dsc
 75788c7544496d14a06631b907eb579f5ff212e703a8e2662d853d15b3a1086b 2180 coq-ext-lib_0.11.8-1build3.debian.tar.xz
 638152f0ec1e38ae3eb030f9881ddee2a7395029dc712b43b34ff0ed58b7fd3d 7816 coq-ext-lib_0.11.8-1build3_source.buildinfo
Files:
 347543c0784502177cfba7a9d95b44fe 2088 ocaml optional coq-ext-lib_0.11.8-1build3.dsc
 afbc966528db0feec7e3d200a6a92d7a 2180 ocaml optional coq-ext-lib_0.11.8-1build3.debian.tar.xz
 fc25c2645c2f5010173ad93b0a338afe 7816 ocaml optional coq-ext-lib_0.11.8-1build3_source.buildinfo