[ubuntu/questing-proposed] coq-quickchick 2.1.0-1build1 (Accepted)

[Jeremy Bícha]

coq-quickchick (2.1.0-1build1) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:24:59 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.1.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:24:59 -0400
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build1
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-quickchick (2.1.0-1build1) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 2c9d3fcfc9f1ec5ba1d99a65ff2df7d93ff4ae18 2274 coq-quickchick_2.1.0-1build1.dsc
 938b5bcdb29eacda2ca0cef10969b147390f22f9 2976 coq-quickchick_2.1.0-1build1.debian.tar.xz
 d0f87c07db4682efbfaae8b80fcb6828da054780 6913 coq-quickchick_2.1.0-1build1_source.buildinfo
Checksums-Sha256:
 6be8560d767f908ee5de31182a8b4403e7c4b1e2fb3a24ca5dc2c6525f5336e2 2274 coq-quickchick_2.1.0-1build1.dsc
 a1c9daedfa977fe873cb529374d6610e4ade11f90ee84f47e3ccd45d920a2901 2976 coq-quickchick_2.1.0-1build1.debian.tar.xz
 4eed633cb026f68d1ae2ea34d404d7f0a9cf18202344b893d98088af576b4d2a 6913 coq-quickchick_2.1.0-1build1_source.buildinfo
Files:
 445478906f9863fd053f9cdf8cec0f6d 2274 ocaml optional coq-quickchick_2.1.0-1build1.dsc
 6a61ebd8631fcd9bb84e09a58efd241d 2976 ocaml optional coq-quickchick_2.1.0-1build1.debian.tar.xz
 cf4071b425b4cd511fb1f7a072dbc3ca 6913 ocaml optional coq-quickchick_2.1.0-1build1_source.buildinfo