[ubuntu/noble-proposed] coq-quickchick 2.0-2build3 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0-2build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:45:55 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:45:55 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0-2build3
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-2build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 62bfd8b6c6b60f5938070270810d9f1866a43d83 2260 coq-quickchick_2.0-2build3.dsc
 11c2fa3e7dda89ea822a343ba0f4c5c047f7c060 3024 coq-quickchick_2.0-2build3.debian.tar.xz
 19ecc8bedc7ce6f0d85f49d722dcec1e40f8db8a 7880 coq-quickchick_2.0-2build3_source.buildinfo
Checksums-Sha256:
 1bbfae0aaeb997499a2a8dabcdab04508e1aa706fafe45b046458a7b66a122e8 2260 coq-quickchick_2.0-2build3.dsc
 40b803e7a78b4905e4dcda506dd1678672f23e2fd708fb338e3d7b471046fd40 3024 coq-quickchick_2.0-2build3.debian.tar.xz
 9774600e3aed96c0c2c749d68fa7c4108798ef14ccd1a70fc8a88b43bda64322 7880 coq-quickchick_2.0-2build3_source.buildinfo
Files:
 89ef9f50c95dd121c737e4044a409960 2260 ocaml optional coq-quickchick_2.0-2build3.dsc
 a29461edc0cee0181f07dda26b4c7146 3024 ocaml optional coq-quickchick_2.0-2build3.debian.tar.xz
 2d07b439a0b59c65e8180f7d470c877c 7880 ocaml optional coq-quickchick_2.0-2build3_source.buildinfo