[ubuntu/oracular-proposed] coq-quickchick 2.0.3-2build6 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.3-2build6) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:39:39 +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.0.3-2build6
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:39:39 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-2build6
Distribution: oracular
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.3-2build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c6ed8ee0009834020b84d7166b79e4fed051c6ab 2274 coq-quickchick_2.0.3-2build6.dsc
 eabe1e7e4ed669fe90a847b27bbba4ff2368ee46 2920 coq-quickchick_2.0.3-2build6.debian.tar.xz
 8bb5682c62db44ae6beef7c755dfe7bfaf4a27b9 7908 coq-quickchick_2.0.3-2build6_source.buildinfo
Checksums-Sha256:
 467da048a12677c7b576265729bbcd433053562a8b329a41589e29cbe90a7b19 2274 coq-quickchick_2.0.3-2build6.dsc
 c5b4212fef5f7334962f27716e7aa285fddbcb60de825840b81920b64303fd85 2920 coq-quickchick_2.0.3-2build6.debian.tar.xz
 3c63172635ed91a694497ba8eaef5fa2485a23c471d5b81d4dae5ced6010998f 7908 coq-quickchick_2.0.3-2build6_source.buildinfo
Files:
 c1e89100dfc7e3b688ab5d7a338440d6 2274 ocaml optional coq-quickchick_2.0.3-2build6.dsc
 f555b96a5e402602b3f2d3c2db1f864c 2920 ocaml optional coq-quickchick_2.0.3-2build6.debian.tar.xz
 a52d7309977ddcaa7ff80e24f6975d1d 7908 ocaml optional coq-quickchick_2.0.3-2build6_source.buildinfo