[ubuntu/questing-proposed] coq-extructures 0.5.0-1build10 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build10) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:20:09 +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-1build10
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:20:09 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build10
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-extructures (0.5.0-1build10) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 02db44ffc8d1d4bc62d2867abdb11fbe19d98eb6 2169 coq-extructures_0.5.0-1build10.dsc
 464520eccd2651ac23e5309df8715acc98490517 2616 coq-extructures_0.5.0-1build10.debian.tar.xz
 9a0c80621bc69b248d716de7bf6c5cdda025ffea 6890 coq-extructures_0.5.0-1build10_source.buildinfo
Checksums-Sha256:
 024a0247529feeb08c2031d8067d019b86d9d88fbaa6f61b5a27a5e3c9bb85c3 2169 coq-extructures_0.5.0-1build10.dsc
 1f11b54259305ee971708e1e1c4fe128aefea4df797c31a78bac47b4ef2eef55 2616 coq-extructures_0.5.0-1build10.debian.tar.xz
 e32fcdb367b1363735282ce31e2dc12df565d2a02ce9a9f7b2b81169ce11cbb6 6890 coq-extructures_0.5.0-1build10_source.buildinfo
Files:
 b58c5eac293d8f89ea0be3f879f64586 2169 ocaml optional coq-extructures_0.5.0-1build10.dsc
 4c4d699d2e0292d849d989d0d02864f4 2616 ocaml optional coq-extructures_0.5.0-1build10.debian.tar.xz
 99eeba2adb8ca897c8b8dbdfdda050ce 6890 ocaml optional coq-extructures_0.5.0-1build10_source.buildinfo