Accepted coq-quickchick 2.1.1-2 (source amd64) into experimental

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 11 Nov 2025 20:41:34 +0100
Source: coq-quickchick
Binary: libcoq-quickchick quickchick
Architecture: source amd64
Version: 2.1.1-2
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-quickchick - randomized testing framework for Coq (plugin)
 quickchick - randomized testing framework for Coq (tools)
Changes:
 coq-quickchick (2.1.1-2) experimental; urgency=medium
 .
   * Strenghten depends on coq/rocq.
Checksums-Sha1:
 61bacae4d8ef5695267378dd08955c09befebba8 2294 coq-quickchick_2.1.1-2.dsc
 5204fc74c741ed391e66f4064c20973a614c25b8 3124 coq-quickchick_2.1.1-2.debian.tar.xz
 a4fabde5cc6ec26db4b2cc7da78357c91f5c29dc 7917 coq-quickchick_2.1.1-2_amd64.buildinfo
 af7b810a566bfe2f862c8263032ba6424777e285 4203864 libcoq-quickchick_2.1.1-2_amd64.deb
 fb8fe196074304797f6a21c2f57632c66c2b3757 489660 quickchick_2.1.1-2_amd64.deb
Checksums-Sha256:
 977eee231047d1b248bfb97b0dd24bd795578f91fb208929b4b3c497d975d90e 2294 coq-quickchick_2.1.1-2.dsc
 41ad59dcc28d9ab1ec0bab56ada7b864c731e1aba4ea75865f0fd7e46108b813 3124 coq-quickchick_2.1.1-2.debian.tar.xz
 1bc08e8ae9994166996c8562cb75f866149f998c1531e4dd0bbcd1930a730afc 7917 coq-quickchick_2.1.1-2_amd64.buildinfo
 75548183a37017f54f5cbca57edfc4693207043be14e8c8b4a1179a0b59c8e2e 4203864 libcoq-quickchick_2.1.1-2_amd64.deb
 d8dc9b14f652996be51894e9c3c93745fd283894c407414b731878633ced7c58 489660 quickchick_2.1.1-2_amd64.deb
Files:
 973261ba9e7ead66afc5ede70ec714ac 2294 ocaml optional coq-quickchick_2.1.1-2.dsc
 1afd40780a51a519738fa0df9f1db167 3124 ocaml optional coq-quickchick_2.1.1-2.debian.tar.xz
 b473d4b0beca552837ccc8f5f089ffcf 7917 ocaml optional coq-quickchick_2.1.1-2_amd64.buildinfo
 46572e3914c857fa5819c8b23219367c 4203864 ocaml optional libcoq-quickchick_2.1.1-2_amd64.deb
 d1fbdad8bb63e3e7f662f961f653e9d2 489660 ocaml optional quickchick_2.1.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkpMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZKuD/9/5pzhgAzDS3lVAua2z8VP
zxHwrBMgG7jTXAUgWmOObQweXY+hGidtdVD8XdZFTPMXpIbLkCFNiFueOskAg6tV
Ji67aNFbRdR2ICj3flFetNGv5EXo5VHhKHpkUNR6LdQc8AB8+MJw35C/MzMIfmox
k0mVkwAuBWSpNqDAldnMxbt4vZWZoVad6gJZTmurWxEbB/lTpbZKT1p8oVVoewe1
ixrEqBBCqjcozgIWf+5/gfFklyrkRy9T6ZH1NEuj4RVL81o2FW8kE3DfZ0ua4LYD
0vmSKHKiw9tpqhA6yKanBJXPErGT3B8Yp9VAi+wZTHGqWlwEbiOTqA7v/H6mAyqo
yiuZTDQk0e3T7do67RONjUQwQZ6RGsw1qblg/PV4cSjfKpVyD/KZb6A4AWG6+Ami
gPiIM2f/JQgWxRTAFJ6P2dRDxNMcj4hpXybWVqhq7ofQhqcMaCg73RuOfMFLObSO
BJM2bRrL+PlxkTP7bLTO6BFQoDPNm0YruLKvwvzXYniRXbAL9DGJ49JxYLZVv8zC
ud3XvqoumlHsNva9/xN+hFQX53tQyccv8QuP64Lqb8UrDJVV6fjwYSU2aQKxf66i
HdndxXrCa5I0+tlDcK0QQH8CP8dnqj7LtCxHTVnnZnlZWM9/pY6zt+YRwwtPU8vt
TA77EtfPRT7CLo8IKE6FuA==
=/X3w
-----END PGP SIGNATURE-----