-----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-----
Attachment:
pgpb4G6ijRWyI.pgp
Description: PGP signature