[ubuntu/questing-proposed] coq-ext-lib 0.13.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.13.0-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:27:29 +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.13.0-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:27:29 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build4
Distribution: questing
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.13.0-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e47af6fe70042a5d2efaf5e077684cca14213589 2088 coq-ext-lib_0.13.0-1build4.dsc
 885f6a3980d986e9fcb22d5b48857cd741b9d370 2568 coq-ext-lib_0.13.0-1build4.debian.tar.xz
 f0b66d99745d20aa8f18fbaac37107402fbd7cfc 6870 coq-ext-lib_0.13.0-1build4_source.buildinfo
Checksums-Sha256:
 7f43b0e8ec23ee268650154288eefe4c73f7b9f9cc15b987b56466769ac0b52d 2088 coq-ext-lib_0.13.0-1build4.dsc
 cc80e8086d32c3ab2ed1a497871068c8c224f4173aa72a5ae41336b01ef280e0 2568 coq-ext-lib_0.13.0-1build4.debian.tar.xz
 60228a4d8c788fe5bb9ed8d7e9fdfa6fcc0526ce0f313a851909c58e45afa344 6870 coq-ext-lib_0.13.0-1build4_source.buildinfo
Files:
 46eaa88086657a3a6aa46df7436e8ca2 2088 ocaml optional coq-ext-lib_0.13.0-1build4.dsc
 52792758e214a6072766cb7c8da88d01 2568 ocaml optional coq-ext-lib_0.13.0-1build4.debian.tar.xz
 aada68107e13898c6a7289d5b5a1c269 6870 ocaml optional coq-ext-lib_0.13.0-1build4_source.buildinfo