[ubuntu/plucky-proposed] coq-quickchick 2.0.3-3build6 (Accepted)

Matthias Klose doko at ubuntu.com
Wed Nov 20 09:43:16 UTC 2024


coq-quickchick (2.0.3-3build6) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Wed, 20 Nov 2024 10:42:49 +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.3-3build6
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 10:42:49 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build6
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.3-3build6) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 3e665f1706db99fc9b3a2b1dabcc77c923633737 2274 coq-quickchick_2.0.3-3build6.dsc
 04c45b6d1ea6fdff29760e025ba5e3b4184882fa 3036 coq-quickchick_2.0.3-3build6.debian.tar.xz
 80de8fa7701cbf0b8bb3c18bd8d7cfa041734588 3837 coq-quickchick_2.0.3-3build6_source.buildinfo
Checksums-Sha256:
 9a4040f91aa3880fbfc6e8f51038a9912cee121a7dd3a89d8ddded19b7259d61 2274 coq-quickchick_2.0.3-3build6.dsc
 e8781ef0b4d810c611184da14e9d7e3de60280048475e7601f845e2f8689e768 3036 coq-quickchick_2.0.3-3build6.debian.tar.xz
 f92a135cb0c489c38c9c3e90ffe2ab976a907cc7d5652b159ae9acc540dc3d8d 3837 coq-quickchick_2.0.3-3build6_source.buildinfo
Files:
 f4cc71ff27666bbe15d4e0cd64bf0b1b 2274 ocaml optional coq-quickchick_2.0.3-3build6.dsc
 c3cc97742572062261e4f3706890b4b8 3036 ocaml optional coq-quickchick_2.0.3-3build6.debian.tar.xz
 ffa8e3d4fae507830f18ca34d9e6a088 3837 ocaml optional coq-quickchick_2.0.3-3build6_source.buildinfo


More information about the plucky-changes mailing list