[ubuntu/resolute-proposed] coq-quickchick 2.1.0-1.1build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.1.0-1.1build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:04:37 +0100
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-1.1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:04:37 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1.1build2
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-quickchick (2.1.0-1.1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8b20b1b2c8832813d0af5ab7d6babf65f0a46648 2282 coq-quickchick_2.1.0-1.1build2.dsc
 eb8e1452f02d2f472e30a039c08c3217ec84ce65 3132 coq-quickchick_2.1.0-1.1build2.debian.tar.xz
 d3804cb12c4c1dac0925c7eefddba1c9470fc9d0 7899 coq-quickchick_2.1.0-1.1build2_source.buildinfo
Checksums-Sha256:
 04e86260d2d91fbf65d8c3692221f3bf6f6b2c28b31f5648c4bc590863a9db7f 2282 coq-quickchick_2.1.0-1.1build2.dsc
 f3d85983e60e8dbdb8bd4fbe0de106fa32ab44abb8824fd6a39c6411108cfe60 3132 coq-quickchick_2.1.0-1.1build2.debian.tar.xz
 e19bc2646658bc7fe363b41bfe64a90e83901346f062d792ed5c89a426eb4ea4 7899 coq-quickchick_2.1.0-1.1build2_source.buildinfo
Files:
 93ddc42626c33f21a2747bd74b7de3fc 2282 ocaml optional coq-quickchick_2.1.0-1.1build2.dsc
 25f56ebf627005ead8a82667c8fdc288 3132 ocaml optional coq-quickchick_2.1.0-1.1build2.debian.tar.xz
 fb82cf6c785b18db3976092108a6440e 7899 ocaml optional coq-quickchick_2.1.0-1.1build2_source.buildinfo