[ubuntu/plucky-proposed] coq-quickchick 2.0.4-1build1 (Accepted)

[Matthias Klose]

coq-quickchick (2.0.4-1build1) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 14:25:13 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.0.4-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 14:25:13 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.4-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-quickchick (2.0.4-1build1) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 8029f616405f6c3d5f7638f728bfe82ccb9d884e 2274 coq-quickchick_2.0.4-1build1.dsc
 9a6593f8b1e7de585d8846b81b0fab957d3d13ab 2944 coq-quickchick_2.0.4-1build1.debian.tar.xz
 85bd7be3f203842fcd2e8e3ac17a32033c6e3970 3837 coq-quickchick_2.0.4-1build1_source.buildinfo
Checksums-Sha256:
 810c741c5e52184165b232b3a29f2862481412f5c0f20b1590a37918946f7137 2274 coq-quickchick_2.0.4-1build1.dsc
 a23a5f4a51507d626e13d1b0bc5ecee369fc4a50ea1cddb4b16d934e5a1da0ad 2944 coq-quickchick_2.0.4-1build1.debian.tar.xz
 aa393b62b5ca2db3ea3f7697ae1a2313f76a79d314973fb7e6ab98dc54329cd3 3837 coq-quickchick_2.0.4-1build1_source.buildinfo
Files:
 8b8c88b494812e84bbbb4b6027e4883b 2274 ocaml optional coq-quickchick_2.0.4-1build1.dsc
 145fa240ee65a8c11f31951165f81dff 2944 ocaml optional coq-quickchick_2.0.4-1build1.debian.tar.xz
 0db701980af73e1f8fa52efc3513c0fd 3837 ocaml optional coq-quickchick_2.0.4-1build1_source.buildinfo