Accepted coq-quickchick 2.1.1-1 (source amd64) into experimental

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

Format: 1.8
Date: Thu, 30 Oct 2025 08:10:44 +0100
Source: coq-quickchick
Binary: libcoq-quickchick quickchick
Architecture: source amd64
Version: 2.1.1-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-quickchick - randomized testing framework for Coq (plugin)
 quickchick - randomized testing framework for Coq (tools)
Changes:
 coq-quickchick (2.1.1-1) experimental; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.2.
   * Work on lintian overrides.
Checksums-Sha1:
 19b0f32493bfc9df17078c6313052bb6fbc52194 2287 coq-quickchick_2.1.1-1.dsc
 ba8f3dfe2f9c19a6879680e54150f680b6e6f9c0 414612 coq-quickchick_2.1.1.orig.tar.gz
 1095c6ae956f67bb85a24471c46f78ce31360d91 3080 coq-quickchick_2.1.1-1.debian.tar.xz
 8773172c85a31006cb124a4b21bcbf25af993465 7920 coq-quickchick_2.1.1-1_amd64.buildinfo
 39146a6a36fa17be38f673750a98aa3539852727 4204452 libcoq-quickchick_2.1.1-1_amd64.deb
 d3f3e9612fe33bba17cbd44d62925e3deb74a54a 489816 quickchick_2.1.1-1_amd64.deb
Checksums-Sha256:
 a46f7e686bb661b998640e28a3d1668583760abfc05ff8b667ae042ff8ed3c46 2287 coq-quickchick_2.1.1-1.dsc
 0ca0afc0273dbd30f991090576462c70d65981275ab7b5a6dea15125f387cc60 414612 coq-quickchick_2.1.1.orig.tar.gz
 c212d5f6aa9086a11a51918c650f66a8b1f7b296a72be6efff12f53c0726ffa8 3080 coq-quickchick_2.1.1-1.debian.tar.xz
 53e47800893f232d7f60b00ed0155350284e2878ee3687bdd93c5be12031120c 7920 coq-quickchick_2.1.1-1_amd64.buildinfo
 ebb8aaba79f7668eb7c7ac0563254914c0b6a49f1f66c5b090019a6f28af83ff 4204452 libcoq-quickchick_2.1.1-1_amd64.deb
 0e83f60c3aa088aeb5ed774bafbd9a28f71de48e00d5c638935df7008518593f 489816 quickchick_2.1.1-1_amd64.deb
Files:
 f263c3d7200a9120b36329e8c7608b62 2287 ocaml optional coq-quickchick_2.1.1-1.dsc
 0ebb3428fe7a79a46c76ccda4705498c 414612 ocaml optional coq-quickchick_2.1.1.orig.tar.gz
 fadb9d21772e84eef25e6b906d7d36a0 3080 ocaml optional coq-quickchick_2.1.1-1.debian.tar.xz
 f11e65149d5f83b96f267110266933ba 7920 ocaml optional coq-quickchick_2.1.1-1_amd64.buildinfo
 65d4f462dfb25f83ee0f39206277c7bc 4204452 ocaml optional libcoq-quickchick_2.1.1-1_amd64.deb
 e88f115f65f37a03cf12c81f39bf8126 489816 ocaml optional quickchick_2.1.1-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEEcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXbTD/99RR1gFWuJw773pSadHBEe
Y8pyJ6d7E/HokfCNgfTEtALnxPckFt1QExq7QVyv+h6KI+rWF4FF+GADUuf+5/ZP
fC7P+NqMrsCiSUKt8JVTjrwLCOrzmcTE0dm3mhdj+0GAmBhDj8TSfA0p3ychbknm
lUs9sDqv44kby1x26Dufza+/k9sqoKAq+ZSbuexXVNLTOd8fvWHozQSszxg55u5C
XjRi5CZ/xEvDNtYHTaLPkwwmyf65RGgkcLajm8///ntt8HLT1VCb376DuxRHds/b
rMsH8W6KYueV4jjjlBdMO3RcZqyfCXTaQsZRtz3YYXaGFDkdYOcHaxO4o57XQpOA
uAI/HXABas13npKQbM2RcmDD1kqs3j35MzIVEUx0N7ZEo6cZ6lIf3PUKYwZ5PEYI
j0ZG7Xgjtgh4Tf3zgd8lAQOdYQmgg4TnDEmf5h1YxgG8WvxvPRyE0BoDer65IdEa
Dj+HuxdRcY4pHF6+DZZmxLCQIVAtdRHhL/qKXPh7zUxaQHDkktyEeAO0AI/6rgXh
HgqFm5a8UL79RFPl5cdDpc6WMzhN7yStuQQhMEA60cCe5d4Q5RO+jCa0Wv5JthAe
BpMlUOnObkVnLnWpL3Hl8yJcCCSGxblIYJmVusJp2zhtBIBh4m+x/25XUxfHYlj4
w6vvRF40nfA17JGv01AMGw==
=gKAQ
-----END PGP SIGNATURE-----