[ubuntu/noble-proposed] coq-quickchick 2.0.2-1build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.2-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:27: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.0.2-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:27:31 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build2
Distribution: noble
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.0.2-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 13b90f96e3667d2f33448c47b6a03b44469de316 2274 coq-quickchick_2.0.2-1build2.dsc
 6ca0ba43beadc30700f0ed6f0c79e51315211f7e 3156 coq-quickchick_2.0.2-1build2.debian.tar.xz
 124c4a8729594438361073e40cd221c0a6b50ade 7891 coq-quickchick_2.0.2-1build2_source.buildinfo
Checksums-Sha256:
 f5248c0ec16459b6cbb4ff4a74b299f5d3f9d8408c1d956d22bb7836ba7f0a78 2274 coq-quickchick_2.0.2-1build2.dsc
 3d93c91decb7a5cb471456a363776fe16730fac4734c24ae4bd818b0f80d0c94 3156 coq-quickchick_2.0.2-1build2.debian.tar.xz
 449fc6243382c2ef7f6a5bca30aaeb9ed2ee9335b8a6bbd6373ea62c6453775f 7891 coq-quickchick_2.0.2-1build2_source.buildinfo
Files:
 858b34e11d7b4f5ae359a7f855fee2d6 2274 ocaml optional coq-quickchick_2.0.2-1build2.dsc
 c634a84252fbbec9256c96eaad24a61e 3156 ocaml optional coq-quickchick_2.0.2-1build2.debian.tar.xz
 7a7447d7ef97e05d71e48fcd46865276 7891 ocaml optional coq-quickchick_2.0.2-1build2_source.buildinfo