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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:38:24 +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.1build4
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:38:24 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1.1build4
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.1build4) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3acb00b5d3c9fa39283c5fda237df08fc7931cfb 2282 coq-quickchick_2.1.0-1.1build4.dsc
 e728551f2b6f108bb52dea47d6b43776e1dc12b1 3164 coq-quickchick_2.1.0-1.1build4.debian.tar.xz
 b0c61a197de2da77876112e1f5593d30cab7d9a6 7935 coq-quickchick_2.1.0-1.1build4_source.buildinfo
Checksums-Sha256:
 328f5f5a6d66dd14484ec6c7050ba677d1e2100e527d2bbe9e47d097a9b656e2 2282 coq-quickchick_2.1.0-1.1build4.dsc
 be4193ede9460cc6e6298d376a90e18a130c2786178bac094611735d989d5aca 3164 coq-quickchick_2.1.0-1.1build4.debian.tar.xz
 9a03334a536b253f7a7c422e2da0c3a744348696c1f61798b8e61995dc1f74fd 7935 coq-quickchick_2.1.0-1.1build4_source.buildinfo
Files:
 a1d756fea73000bea43182ee5bf1d25b 2282 ocaml optional coq-quickchick_2.1.0-1.1build4.dsc
 5fb0f40eab912c0368049ee9aae6e4ca 3164 ocaml optional coq-quickchick_2.1.0-1.1build4.debian.tar.xz
 a3094fb8f6b72409e5264b3839c831e3 7935 ocaml optional coq-quickchick_2.1.0-1.1build4_source.buildinfo