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

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

Format: 1.8
Date: Fri, 26 Apr 2024 16:00:35 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0.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 (2.0.3-2) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 248cae6a620805d06b41d956a5cb88ed1c1185cc 2275 coq-quickchick_2.0.3-2.dsc
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 5a82afdae6a7008f86127dccc836cfe4a134d172 2792 coq-quickchick_2.0.3-2.debian.tar.xz
 8594df7fc5cf0343fa71ee43c6af4b59a536f77d 8947 coq-quickchick_2.0.3-2_source.buildinfo
Checksums-Sha256:
 23aaed0f40306bf6517f9453689441da8a4d19313642020023f9cf131cf3eb0a 2275 coq-quickchick_2.0.3-2.dsc
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 131a5632b5fd87b3327e3d1ebd141448a71782542dbc92e874d79f57baf504c6 2792 coq-quickchick_2.0.3-2.debian.tar.xz
 d8f6e9faf2c76c936314f0a7cec39795af64ee75551fb40be09b3bb708273041 8947 coq-quickchick_2.0.3-2_source.buildinfo
Files:
 a879f912015576dc88b31320693e5be4 2275 ocaml optional coq-quickchick_2.0.3-2.dsc
 66aadddf04ba9956be7ae8348acc2fa3 411625 ocaml optional coq-quickchick_2.0.3.orig.tar.gz
 36728e6534ecf1ce6f9ce19d57ad74a5 2792 ocaml optional coq-quickchick_2.0.3-2.debian.tar.xz
 2186683dedbff85050668b7673c9b0f9 8947 ocaml optional coq-quickchick_2.0.3-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW4sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5tkQAJOtD43r5uoMMV2EdKbMbIm69H7SMuZB
IGfPXGLv1pzdNwZs4goLkusOjt/4Cux1xFRmBG2MfnGpWj7CPqkZX1azIf8TmvHZ
pGWXymBB/IzS5MGfs8qpbQGsNOpIwGWy5QnRSVYOo89cRuJOrVfhOfsNHVU7lQmH
BmtkDrhhqd8n1NVGwLRCzkryAuxY/MKat0FsbZSe66V4mvj0BkyGLJHM+04ba4/s
GzvXqpuifHVn3drb5t2eR0+Wf/t9UvZPvxCH64Mm5wFzI/H1lRi1VHXT6m/iEnnV
VkOZRz+1HHq84KK3ifcNtNPbLZMU4nDzDNW1qojuAG8vhPBHijz3pBELfZwu+CkS
C1kmA78fyPrea4zlD3cz6yYy/Xdgd5ijTSoXxLpjtKQ1kEmHGYvLLDkJHE/K7wlT
gJV2olzhXAPzU3obNbDjS7Ei81beEhO3RFFoR9mqhBpO0x+uEzel8lPBqrXt6g07
vvLx+ZKZvVFpObsZz3iRKG5fpkWZriPq2MfcM30F+ratjP61MOS/i85DtpFN+yRv
FEswuxWSgE5Pc14cFTg1G/vR9klUaQ+wdoJ9HMmO1HIHg6WoZMTXG5a1/+PzP+DI
CAHARLyOHyVbereEe71rUh9lXa7NK+y9oXUzA3oggIBPUPFtCRUMQaYVY9v6bCJi
bC+Wy7dIJSnf
=NS/k
-----END PGP SIGNATURE-----