[ubuntu/resolute-proposed] coq-extructures 0.5.0-1build11 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build11) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:46:56 +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-extructures/0.5.0-1build11
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:46:56 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build11
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-extructures (0.5.0-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4bdccd2b56febdb4aad18cebfec476043f3f37d3 2169 coq-extructures_0.5.0-1build11.dsc
 1a846976222e9b1955f1e2dee48aecbd3d5af0e9 2636 coq-extructures_0.5.0-1build11.debian.tar.xz
 466226d4e8ac09f3582b5b1b27c334a91088df13 6892 coq-extructures_0.5.0-1build11_source.buildinfo
Checksums-Sha256:
 4775e69fee0cbff8b223d90d5855d02e39df28e3e9ec32799455fa028213ef02 2169 coq-extructures_0.5.0-1build11.dsc
 7f772cf5c7ad8cd9c96faa54111bab0205e9edf5106c11a2beccdb4bf771bd37 2636 coq-extructures_0.5.0-1build11.debian.tar.xz
 035f9b40ad1d6ba14812532395df3bdbb36da893b5c7de2e5075024b2ae072c3 6892 coq-extructures_0.5.0-1build11_source.buildinfo
Files:
 8f3c55d9922477c3672d8ee4f8ce1163 2169 ocaml optional coq-extructures_0.5.0-1build11.dsc
 3a92e94d2632947ed4203d50d594d11e 2636 ocaml optional coq-extructures_0.5.0-1build11.debian.tar.xz
 28c1c2d40abb3e8b3e47f75d17b5b472 6892 ocaml optional coq-extructures_0.5.0-1build11_source.buildinfo