Accepted coq-quickchick 2.2.0-3 (source) into unstable

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

Format: 1.8
Date: Wed, 12 Aug 2026 09:11:56 +0200
Source: coq-quickchick
Architecture: source
Version: 2.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-quickchick (2.2.0-3) unstable; urgency=medium
 .
   * Fix dune3.24.patch description.
Checksums-Sha1:
 34e7a64ceab92c83e8cabbfe91fb01a74156c25f 2306 coq-quickchick_2.2.0-3.dsc
 e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz
 912c421339d88fc2e55e31a18ebc2fb22b66411d 3892 coq-quickchick_2.2.0-3.debian.tar.xz
 7ce1061f13718adfdc6a040924a52f055c42540d 8013 coq-quickchick_2.2.0-3_amd64.buildinfo
Checksums-Sha256:
 357fa495191257a29f40fcb654ec7b3e18217fe0f09d2c2d50fe4b94aae79b89 2306 coq-quickchick_2.2.0-3.dsc
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 f6e1dfd42d74b95e1aafef42606c4dedec8f5613406838a516b100384d3d9788 3892 coq-quickchick_2.2.0-3.debian.tar.xz
 79c25da03f1952bce12696c260d7cfcb4710ebb630d4949481b23fab9cfa50f4 8013 coq-quickchick_2.2.0-3_amd64.buildinfo
Files:
 1117a6dd2c735303e1837cb9115fcb16 2306 ocaml optional coq-quickchick_2.2.0-3.dsc
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.orig.tar.gz
 0c23842c54d7237c9140f0f64033e690 3892 ocaml optional coq-quickchick_2.2.0-3.debian.tar.xz
 417b127e3b65b40afb59031f5956c462 8013 ocaml optional coq-quickchick_2.2.0-3_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8HXgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURH5D/9nUddXrEKflLn3rTDe0J7z
KFijsgsVXToengmsq8Bt+w8RHYWRlgQbDkPWNCbM3lCzyPIf0cECO4ELfvAT+lZ6
5eBtCI6vdxfbnyf3JMbqixpiQ5Ce/gcQaSAB8H6t3hgIRv50h7iebphKduazExEd
SvNZ63Wbn3XMXGIlQmBQFd3AkniJJlJSfUdsZuQT/t1X+g5m5UWnlKlPXUb+u/SL
7xZgg8bCzpITOTS+8Pu/fouTwNzQ3NuUDcVh74fXA5UiBdZucdNqWsFalwWUxKQO
Tx3Am5HwM0t3qGtEW6AhuF+yv3x97EvobyIK5bHVhCTBrcgEoXsCcGX5MOn5kDH+
oXi/z3M3dPletMQ3rEgRNDZ7EFaE7oEvqfhnX6n5soSxRAzipoDBT0j1C75Fo95/
cHK8eo81kWEYvU8g9N75IE5m1vD2Umr3WjZDvnkPMw3o1zDE6rDEZxAvMQMN2S9m
L0TD0Vn2aFWkat0c0XC9FsanreTTQqN11nmXCQegt+2i5sjERyYpU9BmYk3Bkwlg
zkYCfL2x/hOZ9Nov+h7vqDvHzRy8c6WhTofI4T7///5K+SX6HS8Vm4VRmUvjzv+I
XF74QezIesWQ8ANtW+vWY8t3ZXU2Rf68gVVlKvg9gaBA3WHyiPxT8xc8Ghc2Mnn4
ID+VukYC4ZZvOlzAdR1sfw==
=/MH/
-----END PGP SIGNATURE-----