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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:24:48 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:24:48 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build6
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-1build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f07c54047cb1ba4b1dcd0d1eb664975c9737d950 2274 coq-quickchick_2.0.5-1build6.dsc
 f427ee42e680521ea6e1daf549ba750837c7a098 3064 coq-quickchick_2.0.5-1build6.debian.tar.xz
 a80a6baa76e7d9c24cd8fffadc170819b7790d0d 7315 coq-quickchick_2.0.5-1build6_source.buildinfo
Checksums-Sha256:
 ef5c2f1d7df02b10a8e694d8d94955268d96b0fdd1e80a355e0ea1bcd87a3a2a 2274 coq-quickchick_2.0.5-1build6.dsc
 4a0d3846a448843047749386af8783d394e2f939377950e72ea928ef1efca0d9 3064 coq-quickchick_2.0.5-1build6.debian.tar.xz
 846def33d3fc5380328d032e572c3821321acea33fff9fbb9c40e8c76e25be15 7315 coq-quickchick_2.0.5-1build6_source.buildinfo
Files:
 0dcb7483705b696b2243d5c4e73ad906 2274 ocaml optional coq-quickchick_2.0.5-1build6.dsc
 26ce36e3c15d42f0cce3b8c519aec10a 3064 ocaml optional coq-quickchick_2.0.5-1build6.debian.tar.xz
 cbff9e740900308312399946d2552d20 7315 ocaml optional coq-quickchick_2.0.5-1build6_source.buildinfo