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

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

Format: 1.8
Date: Mon, 05 Sep 2022 22:54:49 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.4-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.4-2) unstable; urgency=medium
 .
   * Fix for Coq 8.16.
Checksums-Sha1:
 fa18599298cae1f4766f498dfd5bca5366c32341 2256 coq-quickchick_1.6.4-2.dsc
 e05dd78abb97d2cbb5d20b8bdc79f3cdb3675ba6 2672 coq-quickchick_1.6.4-2.debian.tar.xz
 50b68545410cc0e064f8565c11262aeda522db1c 7284 coq-quickchick_1.6.4-2_source.buildinfo
Checksums-Sha256:
 12131357ec115b4b6f7bb8ee8b26832cf77e939fdd38594f480a412126428076 2256 coq-quickchick_1.6.4-2.dsc
 dd4dd7d06cac0f6dc4f19c66350052653b348c803dcc076b806668be608618a7 2672 coq-quickchick_1.6.4-2.debian.tar.xz
 73734ddc530d43ea001c59caf2f05a21b1c0cb2295352558e9a7f5657c70eb6d 7284 coq-quickchick_1.6.4-2_source.buildinfo
Files:
 616b10e08eadb9826088588c66c72295 2256 ocaml optional coq-quickchick_1.6.4-2.dsc
 5c9e73cc7cdfc6d2a9fc84c8e31e77f2 2672 ocaml optional coq-quickchick_1.6.4-2.debian.tar.xz
 9709ae233db10563a621c5fcca9f029e 7284 ocaml optional coq-quickchick_1.6.4-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYj4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRc9gP/RTedpHp3WejSq9rQvKgurJ2a/s2n+86
NtJuJgBSA43AOm4pvFKaWOxrIUMnaMT5e0zGBnV/upObr6BkzjpcDjfnZxP8h7s8
Q4vo6ObogCuvNbrxx0H+IopwKW8Ce4+BSU0JdaDl04sgQgpBaH4wz26BIHdkf/A4
BBt3oa0OnMxufTz2DeLRXSctP4Ay3m0DVNRhdqTQpEboKl0XBzrR3nA2X9mUzxBq
pAWNjaGRizEw8eu9TT5E/k6iUJSU/NFuXR/2eqbRX6IRJhDlyVvTarm9TH9UfpYn
StaHMnVSQ04F1IQSVrERe6DEeaExq2wz9Jvw3zNtk8CkC/RAPJ0PwzjQpxy1wgMi
EfZFX9ux3RIOfjrFUxR5mZhjnIXH8O2FWpqGbW6Uha8wWgQloY9qNrOj1Z1RKnLR
mka0Z19ErCwuBi2q2iJ5iHPTLOUcgAaay6hYm02KyzuEJOHA0q3/Im203g6s1RXn
DGZnQ+my8OLwljvWRjPHGcQOivU0tzA3OmDB9MlAc8mpimFsnnAw/WdYFuTsmAKb
TNNp0jAVAfNOJznX8zzPv0IByGr41QcCsGW05NCP1Ezk3vBuFunbSW8xC98puC3O
EI6ix7FcGBKNKXkYf3DSeMeAhpheuOp3MK5f+o2nrQ0G4KefyXp7mRDF1JI+N0bB
KjxpTuqeiFFK
=Wxi0
-----END PGP SIGNATURE-----