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

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

Format: 1.8
Date: Mon, 15 Aug 2022 08:26:31 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.4-1
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-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 5b23e243c92af9a3905fe4322e3a63bb362612d8 2256 coq-quickchick_1.6.4-1.dsc
 1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
 f9882361c2829c77a1883cde4ebac28b2d3c120a 2636 coq-quickchick_1.6.4-1.debian.tar.xz
 c25894dc16658a6b84c4b3660f696aa116291c55 7247 coq-quickchick_1.6.4-1_source.buildinfo
Checksums-Sha256:
 3c0051c6d95e5d579ea141daeb9889982634effe96b382269958ba6b91876b81 2256 coq-quickchick_1.6.4-1.dsc
 a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
 c1af118a73f18db0dc771625e14c64981a1a7f85ebac862a83f4cae124de041b 2636 coq-quickchick_1.6.4-1.debian.tar.xz
 7f82540d9f36461c5c9371b46f86180a5611cdc2c8e1ad9edf231eda1bac6c4c 7247 coq-quickchick_1.6.4-1_source.buildinfo
Files:
 3f50727278b10e5e9493b4ae15146bf7 2256 ocaml optional coq-quickchick_1.6.4-1.dsc
 cce1caca2698a92e8b66158d431dd7db 388461 ocaml optional coq-quickchick_1.6.4.orig.tar.gz
 6b9aec6a45d8a07348c893637c5c1356 2636 ocaml optional coq-quickchick_1.6.4-1.debian.tar.xz
 676610a795b9d4afc3150fd9e8c39a89 7247 ocaml optional coq-quickchick_1.6.4-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL55zQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROA8QAInfVy9yz2cE5RRi0APaRdu9SboZ3/HA
O9b6DxQioYSh4dX+EI8Ar63uK37ULWaiGFgVw0qT7TkJesjnqvkzWfHAleIqec5n
rPRmD/n/lhVh3FfOcR1GBOTbQP/XlI/7J3x68k8Nf1rchKkQlzLP6GZ+57nxIKrv
A0pLdJ+1xbcW+ZfBFEY8AosECdRnKmJC9eINhtZzq21AIj7ELimR1CThsAl3sEkB
2sIZY7NCRl1/BM4358049T2YJzX6xumE2qdLSkrMIhLRZL9H7mIrXmy5tn7ygccP
ymNTE2HXow7k5SG0vHtF5Bb5UWZ2SpKwJ7nWUBvsplEQVd0OLxkg0uZvlYmF9F1t
kXBV+YMEVf920WAr+4iFxrTCXKoATe8MAL/rjlORMyt9C5SE8FwkECphPiJzvnEb
qNoewZGdsLW0RZkqyaHCxFeTwn3h26sduxTThqRSDa9RV79egtvOdByD3wMa55Bg
1lXPeMr5JB8VnrchAVV6zh88aErmRX9FRwVR+7deeLh6TAlwJd5tESGOIlYFDYYt
BHw0tQijWpaJEI5m4uAMqq77VVDYmeCzROrVLMptzmhNhgfHFcOTz5TdgC7t6Oxh
oh9rnv0MqFA+2GISU2THCJWLDzqgOwP1l3hxndU0B1j2+Sna21trM1EQpPP0Ymmi
q+GCX/nIWVaa
=gsPG
-----END PGP SIGNATURE-----