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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 22:03:34 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 22:03:34 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build5
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-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 be3ae021bfe4effa3afa9ea2956e2dbeb6ec4652 2274 coq-quickchick_2.0.5-1build5.dsc
 6c0a9dd66c7372547114187647fb46f5252ccdf4 3048 coq-quickchick_2.0.5-1build5.debian.tar.xz
 ab294b51f3f28cf78c3c5ae21c98ab1cdb2890aa 7315 coq-quickchick_2.0.5-1build5_source.buildinfo
Checksums-Sha256:
 1b14cdcfe2364f118fe8860ffd7fea4640b6bbff78fe38d888d4fa3a9f79cbde 2274 coq-quickchick_2.0.5-1build5.dsc
 b617f0df84497df08f44b07a57981eda0cd8166ea38930480aad7e27147c38d3 3048 coq-quickchick_2.0.5-1build5.debian.tar.xz
 ab37cdd70c7af16d43849f60709512e6db25421442d499572cc66aea71b52a37 7315 coq-quickchick_2.0.5-1build5_source.buildinfo
Files:
 4523ecb4851ec3a910f7e46a7a670df8 2274 ocaml optional coq-quickchick_2.0.5-1build5.dsc
 54bf308215a5a34b429d16f59ac87c3a 3048 ocaml optional coq-quickchick_2.0.5-1build5.debian.tar.xz
 047da39ddfa24614b50c73cc7895ed45 7315 ocaml optional coq-quickchick_2.0.5-1build5_source.buildinfo