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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:06:02 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:06:02 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build8
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-1build8) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5537d694a2dfd25daa1e2666cad44491c60f7e09 2165 coq-extructures_0.5.0-1build8.dsc
 59a8d5b9ec1f1950848234b0faec477ece64b7ff 2592 coq-extructures_0.5.0-1build8.debian.tar.xz
 bc8847813d435bda4b098dab01d4ee42511e9bf8 6882 coq-extructures_0.5.0-1build8_source.buildinfo
Checksums-Sha256:
 2da1d18fbc6389859ecafc3437d5c7775ef4bc516c2cf0656c349fc4a4c48c04 2165 coq-extructures_0.5.0-1build8.dsc
 1d0ca2b27ce544bff38dc64f08d4704ab3932563d60b97cb67eb3678ebe6afa2 2592 coq-extructures_0.5.0-1build8.debian.tar.xz
 40240a83941a6045a4dc99431e7ee863b487d5d8170ca5744088ed78bb98cec3 6882 coq-extructures_0.5.0-1build8_source.buildinfo
Files:
 9a87c66f28d50f8289fabd8453d2e48a 2165 ocaml optional coq-extructures_0.5.0-1build8.dsc
 f0da1ef562b53022f2f2e0571684f4fa 2592 ocaml optional coq-extructures_0.5.0-1build8.debian.tar.xz
 0c31bcf11b389b84117dfd595796ba77 6882 ocaml optional coq-extructures_0.5.0-1build8_source.buildinfo