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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:28:31 +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.1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:28:31 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1.1build3
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.1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 61e34778a74bb6cc8a8fdeacdb068f5836b16915 2282 coq-quickchick_2.1.0-1.1build3.dsc
 3f1fb0dce23dd971cbed4f0c6d061f5ee2c1df20 3160 coq-quickchick_2.1.0-1.1build3.debian.tar.xz
 98a820d67c12fccbcc0e8dd0bface494e8c9f33f 7905 coq-quickchick_2.1.0-1.1build3_source.buildinfo
Checksums-Sha256:
 e49efafd5e08c02b260522b2ba3214a73edff4f7b7cc5fa503be05844d23c651 2282 coq-quickchick_2.1.0-1.1build3.dsc
 ef949b73f2149ea3aa7bc2240f608367a3f70747e298f82090eef2f33795c71c 3160 coq-quickchick_2.1.0-1.1build3.debian.tar.xz
 545b0393d9e68bf5b542b740bc132863c16d2fadeab0f99ee8d158785b22afd9 7905 coq-quickchick_2.1.0-1.1build3_source.buildinfo
Files:
 a89d3795123d434e58eeb2812ce5e07d 2282 ocaml optional coq-quickchick_2.1.0-1.1build3.dsc
 5bd60c30bba2e580edd69f2a0b317b51 3160 ocaml optional coq-quickchick_2.1.0-1.1build3.debian.tar.xz
 6df65749c9d8cfee0d23828d54abc294 7905 ocaml optional coq-quickchick_2.1.0-1.1build3_source.buildinfo