Accepted coq-quickchick 1.6.3-2 (source) into unstable

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

Format: 1.8
Date: Sat, 13 Aug 2022 23:47:35 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-quickchick (1.6.3-2) unstable; urgency=medium
 .
   * Rebuild against more recent coq-simple-io.
Checksums-Sha1:
 e08287a94d52e72e1e2e5843e7368f807e10b814 2256 coq-quickchick_1.6.3-2.dsc
 405a376936a2a566bbfd375e2ddbbbca82c20807 2616 coq-quickchick_1.6.3-2.debian.tar.xz
 4e0a27f563bcb51f074d0be60fe8faf531737528 7250 coq-quickchick_1.6.3-2_source.buildinfo
Checksums-Sha256:
 280e96e1f34d7baf7033cba06e5f1f13e950ee7c521a8f3fdb0da5f927e53a77 2256 coq-quickchick_1.6.3-2.dsc
 c7cef8ac51c1784636c363a839e17ea033547e5a3e4ec0b240fb3722af51d22a 2616 coq-quickchick_1.6.3-2.debian.tar.xz
 352aa3dd9f6c75fa8e59fb302d186611a84baeebf065bb1a46286f2de15670ce 7250 coq-quickchick_1.6.3-2_source.buildinfo
Files:
 65e955bfe4b54ee2177fb5e7dc796585 2256 ocaml optional coq-quickchick_1.6.3-2.dsc
 402319ccf2e43fa54ee7a80486f454ea 2616 ocaml optional coq-quickchick_1.6.3-2.debian.tar.xz
 8f08c35c4e58211e96f18a104b4d2bf1 7250 ocaml optional coq-quickchick_1.6.3-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4HBYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREdwP/2JTkrScQKJacL7VO/jt/7ndlaoNVc/J
qFjJ7myjlUjaS42FgF2ujtfFwMoDeK7oVMRuRe8bFDmEoE2ZELZ156DEwgyi+VIQ
rQ7GeR1VTb3EMJ5vSCi+3eyxCLXYfLNg7PwS91nZStR6CJal8XohV7IvG/TFooex
HzF3Hmmn13SyACdNOPcedY9XDhUZxVkwbJHSZKxAh3y73eGRZGQ1IoPSuRmQlMjy
4rW6Q+5zg9z3quVyNn713P4oQ8SrfdO7yGNaiS2OkQCrjUKOumwKcLV/mq8DCKD5
koBzyXzZ6c7ROcXpAxmaxRCIpvlzy/au7Ztw4GQ4Er250Hy0/UGcSiKZzZAF4D/v
x08QIL573BsCHsJKI/23V7Hso5UVRx32sfUT/i4RCte88ms7PlZHAXC9S81b8vJ7
C2EF4rTa+YIWXtkp6yI07Cn5n1G3Es67u/vAjFDM0w+4GOmeTuiZU5oFle67DRr1
/JC5um3AZNltjp0cdnIWCojuzTOw3Gt1vpXuouni/P8HyZaEomFlbc/z9Q2jC5OG
NY4Ey3rGw+B73ENFAJtYImW6DLMmriANF3E8ianwawZ7rCeXtdWxlK3q23F5KFPa
83JzmWIO1HjL/HHh+LF189JqCz+72R7kdUwxm8D/ZkSaB6qJ2NSitCmxPwIvYtsQ
Cl8iF0JtScJb
=0jPo
-----END PGP SIGNATURE-----