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

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:57:49 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.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 (2.0.4-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 24045fe869c2e9dcf57e10df8d0173486e154aff 2275 coq-quickchick_2.0.4-1.dsc
 b9a7517f4e168f20a5b0ba4f001650aa2c1cee83 412923 coq-quickchick_2.0.4.orig.tar.gz
 d015af357ffbd21a540528cc865741df36834201 2876 coq-quickchick_2.0.4-1.debian.tar.xz
 3e042d7a41a38df1e5214f08d033193a06c10005 7900 coq-quickchick_2.0.4-1_source.buildinfo
Checksums-Sha256:
 5488e25d1f92cb0fece752bc7eb72bb89651e24f759d75bd6d4b1aabf451a55b 2275 coq-quickchick_2.0.4-1.dsc
 029bf8bee8f3dfe7cbc30a1e5e8ddc93e2998261befc904060f2e47b0701cbd0 412923 coq-quickchick_2.0.4.orig.tar.gz
 4350168b33e0f216fa927cd996a657cdd532177e98335a2411fd53c02073d7e6 2876 coq-quickchick_2.0.4-1.debian.tar.xz
 1ac97604fe125b509440374a80e9ddd2510cfd4c9115f05703fd78c0e13bb596 7900 coq-quickchick_2.0.4-1_source.buildinfo
Files:
 bd1fa64b169740d53db80d9573ace379 2275 ocaml optional coq-quickchick_2.0.4-1.dsc
 6134bdbe1b79450481cfdc84d1b42ded 412923 ocaml optional coq-quickchick_2.0.4.orig.tar.gz
 ce95a8bd6cbc0ad2f50a9208111f8e7c 2876 ocaml optional coq-quickchick_2.0.4-1.debian.tar.xz
 baef86f35693cbebd1e449cf88591803 7900 ocaml optional coq-quickchick_2.0.4-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9srcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIEMP/0IN9lAGMS1yP40Nfqu+qx6U9sfVjybS
Y2KNcJaZaijBeTTxseKk7zyuj64zToX+QYXuJzIniXFhWody9fOwp3yXST8VV/ik
zRSplPmaf/KXRPzuEHQB33aI7USKs8tXyEpWdgqYJ21Ryn+6AjWwLXGwyUGmMF9V
uLE24s5850Q378cF2410/ypQCcMY0JR0AbECnyXU4WKBTNVjcXduuos4zW1+4ZW+
12fhp/otoxQRJ826kG54w5ZPbVIsuyrJh84VARxWZJdeb6169czvTGjjBISbKRAm
RjiE/TGct6iB3H8d/Slb2MdWQyRs4OTrMJmv/PQ1KHkXBrBoB6E9rvLlBe4bOTX4
wkGJKCz7+uzPdh0tP5Eih50968NkwxF2G9xRJT9bD5o74ueC4l56AkpqkYnShgs4
ZMJAwoamSywihanVShWdiBFC3LB9u/udh+uDvtQyhMWDeDsvK9d8zLhoes3Hnb6S
37uMejXaxy4epxIwxOETubb0G6BxB3KGdfGl5llLr5ppzY1SQtTMVW3OSoN1xwti
2uPg9Qe06Kwi7dViZlUGWs/sXv+/Nep1O2muuQKW+mfX2AHS55K/tJrp3OKBKKIq
DrCZcxrOF1xaSDTSLKdwQe1nDVgK7jKJ8IEXzILel002svHn1CeWfx6pJpBvsvwo
mxyCLqsYAS6X
=COc+
-----END PGP SIGNATURE-----