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

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

Format: 1.8
Date: Wed, 18 Dec 2024 12:17:45 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.5-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-quickchick (2.0.5-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 d187469f0fddc7636ab3f196bf235fdf99ce9c93 2287 coq-quickchick_2.0.5-1.dsc
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 0427e075df1007c77a0e32fc7ca40d311efa84d8 2888 coq-quickchick_2.0.5-1.debian.tar.xz
 d73d70345431db7ffd4ab4b88bbe00654736d60e 8912 coq-quickchick_2.0.5-1_amd64.buildinfo
Checksums-Sha256:
 daee6c06704b2f8ca78924761d8517422e0628665b9a765d4878285dfbaba990 2287 coq-quickchick_2.0.5-1.dsc
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 8d488335b175e53493dedcd4574d642d420ac999d000fb9727e61cf48727e006 2888 coq-quickchick_2.0.5-1.debian.tar.xz
 eb63b2533384c943cdf9893240b781861e43ed7009a693ab221f8d52a1431e34 8912 coq-quickchick_2.0.5-1_amd64.buildinfo
Files:
 463ef4a2bddcb72fc4d366c05bb7f405 2287 ocaml optional coq-quickchick_2.0.5-1.dsc
 3fe1c7124122fdfd5817d8634c1e68a6 413023 ocaml optional coq-quickchick_2.0.5.orig.tar.gz
 92576f5b4171d90cb14857d84534b06f 2888 ocaml optional coq-quickchick_2.0.5-1.debian.tar.xz
 8d00077a50828dcbcb5d5e3ab3afe87c 8912 ocaml optional coq-quickchick_2.0.5-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8OIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcpvD/0bov9yQvUgEOAqdycM7UT+
ePiZjMxVqFAqMxzgUbCQ3HnqK6BRLtO4ybTqMZrXAHUeKBIkSgeZtmkBETDYlcjQ
VmRcl7GUvH4iWOQbsE+lHFTs4rXZ8jCC/kNNW19Sc+qMfeKgVUHdDnQI2VSFS9Kc
I8B5vd0PeziQ0UU5WGU85lujruz3F4eEOLkYabc9AsGbtfsF5FWDmVZeYwpO57lC
lXqrvtewU0lo8MvtVxheZ/UWWyBBJRl5xJRE7wfEv1y8Da4ztcffiT2LgAf62E4o
u6Izj772CSssEMEhe4dWYfeW+U4j1+MW60VNusW6SdsyPF4419YnaSpbWLcnRk7m
Ry5y4yJDjDuHgsoh8IvRFFO9hN2LteWEyu+a/i1oYKkV6OIp37zdnDAx1kZ0p/7+
YgX2rA+2GGMkyBKjneLmmz26XBjqVnE8WiJeiNAxoyJbyx+jwdcSB3Cb8U9fhkyQ
8N5GUFvgIR+QbUgGh3rN+itewxagaRBODqo+lTXXxkOldxWmMfCpjex3bgU+crdq
dYClQEte4fqqSGVNehtybGRqNb+fWWu+JNvSUzbuuN7G/GdejouJWMMM8F+tPyDd
wgOXddS/pRGSKzX24kUG2MhOkaRQE4yzkhbBXzdeW5ebv656VT4x1EQM9EfMNrhQ
4JuT2xDXlka29Jffor6itA==
=ufup
-----END PGP SIGNATURE-----