[ubuntu/resolute-proposed] coq-ext-lib 0.13.0-1build6 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.13.0-1build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:22:52 +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.13.0-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:22:52 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build6
Distribution: resolute
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5e7ba06d3e4d1b2b586aa72be34801ce49117b84 2088 coq-ext-lib_0.13.0-1build6.dsc
 5a9b8681e8ba05ede85ed9fb487c0877987cf7da 2600 coq-ext-lib_0.13.0-1build6.debian.tar.xz
 e74d02dd64324463fe8245f0ab13e79a8595873b 7867 coq-ext-lib_0.13.0-1build6_source.buildinfo
Checksums-Sha256:
 c3689d020d0682f28ba0792ec590472950fea22e8d75ede9b27b697af2b4eefc 2088 coq-ext-lib_0.13.0-1build6.dsc
 0c5badfd036a1285fee6a3f7847086f59f6331491bbf00c11f7a51873964ac19 2600 coq-ext-lib_0.13.0-1build6.debian.tar.xz
 778e157f2ab1178c168fd1c078f10c5971987b79993f80046c12f09c54b9adec 7867 coq-ext-lib_0.13.0-1build6_source.buildinfo
Files:
 c79763c40ea782c79e439edf8836f87c 2088 ocaml optional coq-ext-lib_0.13.0-1build6.dsc
 cd1c4625842fe566a34f50ed91e22a6a 2600 ocaml optional coq-ext-lib_0.13.0-1build6.debian.tar.xz
 e9250f36c58d00c24ecf631b99f47298 7867 ocaml optional coq-ext-lib_0.13.0-1build6_source.buildinfo