[ubuntu/plucky-proposed] coq-quickchick 2.0.5-1build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.5-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 10 Jan 2025 12:29:19 +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.5-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 10 Jan 2025 12:29:19 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build2
Distribution: plucky
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.5-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 87ca0041eb2b2c459ede3541cbae9b5b592390a1 2274 coq-quickchick_2.0.5-1build2.dsc
 d206636b6c4ef603950086b12684df85582631ae 3008 coq-quickchick_2.0.5-1build2.debian.tar.xz
 27e4f7f63e1a5c1430599610441c67bdb5bbaf3d 7753 coq-quickchick_2.0.5-1build2_source.buildinfo
Checksums-Sha256:
 6aca86bc1352ef4c70365068d19ab6fd2962b40278be91b542f014c5236c4fa6 2274 coq-quickchick_2.0.5-1build2.dsc
 41b56c177753c974c886a770feb805c2eb708ae5f616095a73812043edd99e10 3008 coq-quickchick_2.0.5-1build2.debian.tar.xz
 adb34c0f783e82171bd099bb8ce3ae4c61e374d311700afcc311b0eed1b6699e 7753 coq-quickchick_2.0.5-1build2_source.buildinfo
Files:
 9b7078509e045b30eae77a547b539d3e 2274 ocaml optional coq-quickchick_2.0.5-1build2.dsc
 ed11489e075f357b4733070363575b0d 3008 ocaml optional coq-quickchick_2.0.5-1build2.debian.tar.xz
 117ec0047ee5e0e8adcda50b34100d5d 7753 ocaml optional coq-quickchick_2.0.5-1build2_source.buildinfo