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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:49:13 +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-1.1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:49:13 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1.1build1
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.1build1) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6f6614713cfd9fdcebabb337180893d7b86a0267 2282 coq-quickchick_2.1.0-1.1build1.dsc
 bd75b47f9957fcbdabab85059ea76705bd23a01f 3124 coq-quickchick_2.1.0-1.1build1.debian.tar.xz
 1d1431180ba12a3860b5a9831dbcbcec22ca4854 7358 coq-quickchick_2.1.0-1.1build1_source.buildinfo
Checksums-Sha256:
 84d971a7f71812ff0c8adc3f97afb52078104b023ff8ec15a690f5973cda8572 2282 coq-quickchick_2.1.0-1.1build1.dsc
 8d6bc5e68f6a1dc1e2efdd2a724274213faafd5284450a46eb4e4e05dcf240a3 3124 coq-quickchick_2.1.0-1.1build1.debian.tar.xz
 3dadd59dbd1cba00bbd2691c7be815c19a207dc4cef2fbac4aa37d0a072696f1 7358 coq-quickchick_2.1.0-1.1build1_source.buildinfo
Files:
 13ad14b44c19d3d718c5f3768524bd33 2282 ocaml optional coq-quickchick_2.1.0-1.1build1.dsc
 6f245c650203e49bb5e62eafc6eb30f1 3124 ocaml optional coq-quickchick_2.1.0-1.1build1.debian.tar.xz
 d29389997c983d6ad554826614ed2a9e 7358 ocaml optional coq-quickchick_2.1.0-1.1build1_source.buildinfo