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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:16:50 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:16:50 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build4
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d92cbdfe372e1506a7a557898523ba72f050119a 2274 coq-quickchick_2.0.5-1build4.dsc
 cb9e9ace5371721d14f911d83fe17541f9ede871 3036 coq-quickchick_2.0.5-1build4.debian.tar.xz
 dbd2cf40351a06706bdaea1bd9ce789ac1ff0e5c 7840 coq-quickchick_2.0.5-1build4_source.buildinfo
Checksums-Sha256:
 d9bf7078fcf93fd6dff7f8a45f3c2fdde1fb9fe11020d2b511d6297a3fd9befd 2274 coq-quickchick_2.0.5-1build4.dsc
 a09f2552b016c3633aec033e6ef9f7f1f1b30a3133c5938b6372908ac887fac7 3036 coq-quickchick_2.0.5-1build4.debian.tar.xz
 b4a4456c568c3cbb7766e8cb40d09ccf95654d8f3356fa6cac071760a33a56ac 7840 coq-quickchick_2.0.5-1build4_source.buildinfo
Files:
 7ddeb12d582481a3733760a51a36645d 2274 ocaml optional coq-quickchick_2.0.5-1build4.dsc
 62e73eeea5f570d1bf1440cf86701deb 3036 ocaml optional coq-quickchick_2.0.5-1build4.debian.tar.xz
 c279ddcfec0cb601812f56686434ac23 7840 ocaml optional coq-quickchick_2.0.5-1build4_source.buildinfo