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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:35:34 +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-1build9
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:35:34 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build9
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-1build9) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 28cfb7bfc7e3d5d8a5bc8172cde8e2027b1d0373 2165 coq-extructures_0.5.0-1build9.dsc
 b03c887a2a74e025ead58b6bb6c5e80113eaa211 2604 coq-extructures_0.5.0-1build9.debian.tar.xz
 b388c9418a740899f94a422fb7a27b67a1b2ee00 6882 coq-extructures_0.5.0-1build9_source.buildinfo
Checksums-Sha256:
 e0027a9f532c84d6aa75ad6485640807db037fb6ea0064f41dd35b2edbab1940 2165 coq-extructures_0.5.0-1build9.dsc
 8e8c793681b3396ba8924ec1015fa50ce9bd65ad4c5f5f1e7d4b02a2a78d7773 2604 coq-extructures_0.5.0-1build9.debian.tar.xz
 665c50abc1d145373bf519b7119185e34c563999d69805f2fd49d4cdf2a81a2c 6882 coq-extructures_0.5.0-1build9_source.buildinfo
Files:
 7c6fc8cbafa48a27ac6caa66c354dc35 2165 ocaml optional coq-extructures_0.5.0-1build9.dsc
 2e285bda55b33ff40b35ea1ea6ea2254 2604 ocaml optional coq-extructures_0.5.0-1build9.debian.tar.xz
 5dcffe3ac33a77e3e17c112b9c8310d4 6882 ocaml optional coq-extructures_0.5.0-1build9_source.buildinfo