[ubuntu/questing-proposed] coq-quickchick 2.1.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.1.0-1build2) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:07:00 +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-quickchick/2.1.0-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:07:00 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build2
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-quickchick (2.1.0-1build2) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a5f25b7b526ded2ef207a9ad4b8fb0d1133eb6cc 2274 coq-quickchick_2.1.0-1build2.dsc
 5f6beaacc627d66d0e3220d46dabedb26e898c5d 3028 coq-quickchick_2.1.0-1build2.debian.tar.xz
 cb18e9334711f587663fa36a720060cd14379b24 7344 coq-quickchick_2.1.0-1build2_source.buildinfo
Checksums-Sha256:
 85cfc3ca20b2310aa5c41cbb4eafc27b97724c997df25b55edea3f6de0794e53 2274 coq-quickchick_2.1.0-1build2.dsc
 ecc06132b07a1b310f93d9719eb38caecf466ac8e8a6d290ceef04f39d8bbe92 3028 coq-quickchick_2.1.0-1build2.debian.tar.xz
 cbbdb450c21e7ec8e41972b0b69368cdb03e7f5a63242abc64585609bd0ed2d1 7344 coq-quickchick_2.1.0-1build2_source.buildinfo
Files:
 0d35417fdd65cd43ab66e3c0d1794509 2274 ocaml optional coq-quickchick_2.1.0-1build2.dsc
 13a7fe7be98f20693b717dcd12eb1e96 3028 ocaml optional coq-quickchick_2.1.0-1build2.debian.tar.xz
 aab6f46bcea2c8c54169eb1ebc8bf790 7344 ocaml optional coq-quickchick_2.1.0-1build2_source.buildinfo