-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:48:03 +0200 Source: coq-quickchick Binary: libcoq-quickchick quickchick Architecture: source amd64 Version: 2.2.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-quickchick - randomized testing framework for Coq (plugin) quickchick - randomized testing framework for Coq (tools) Changes: coq-quickchick (2.2.0-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: e6a394e57e8876d5de35284a8a83b82e162e329d 2294 coq-quickchick_2.2.0-1.dsc e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz 4e911dd2488a37ed90635f5b87bb85466564e0ff 3164 coq-quickchick_2.2.0-1.debian.tar.xz 62931424d969b498d0778a76c6cc4aa3e8ac31dd 8148 coq-quickchick_2.2.0-1_amd64.buildinfo c7e66e4279759d5178945e7b94ad4eac58d6dced 3505520 libcoq-quickchick_2.2.0-1_amd64.deb fb692f77d18d21330e53d508c1860b92d9346b10 501788 quickchick_2.2.0-1_amd64.deb Checksums-Sha256: bcdfff56e5c3a2ff864e099c8f81567a89f29011b4478c9d8aa8088ea696e7b7 2294 coq-quickchick_2.2.0-1.dsc 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz e59adb52b9caeaa885abda6baa1d899beec55583b6353cef0669ce4e21aead63 3164 coq-quickchick_2.2.0-1.debian.tar.xz 321385fab5f73f1e0e6d6f5e62f457113c5d1322eec2bb619491b56e1e730ef7 8148 coq-quickchick_2.2.0-1_amd64.buildinfo 2b6b41c85640d590a7442f9438c698c6d0974f0250b0bca04c960c8c5bfc3563 3505520 libcoq-quickchick_2.2.0-1_amd64.deb 31e014757af3f1dcc30db82e6076a2888d882ec7837901801c50e391e5099853 501788 quickchick_2.2.0-1_amd64.deb Files: bdc3918d22416a1aed6f1079fbacb21a 2294 ocaml optional coq-quickchick_2.2.0-1.dsc 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.orig.tar.gz 820b3795e201040c7ceca43177357b9e 3164 ocaml optional coq-quickchick_2.2.0-1.debian.tar.xz 5de7b205c3ad2283cbb4ab12164ddcb6 8148 ocaml optional coq-quickchick_2.2.0-1_amd64.buildinfo 86bc13f123437eda19d2c2f311cbf9fe 3505520 ocaml optional libcoq-quickchick_2.2.0-1_amd64.deb aa64253598d0acc63ad1ffdc86d381dd 501788 ocaml optional quickchick_2.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpefyQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdtwD/4qGa15tePdsqeYuocTTcMH agp3PDpGUJaNBjUW/cdUFsrhWF7INy43PybJqu4ltFOQGYtadtlJ+vnkOTrvqb+l FCKbn8zyBjNXRe8j/BLt4zYvo5NPTgdGvpOwA6ZvlxacrMM0bnRulEOnDi2wQN1Q TwSKGWXlCyyx59PJBeJK60FYZLnqghAgz4F51Py/pwdMx3VaVj/CG+jlcRZf3+Eu cz6MM1z3WuYwj2pxNHA91pV0vnoKG63ohw62N2T+hvPUE8FXN4panusg5P3RB01O BGI7bZfr0Hgk33Dq1t7OKAKflnpjvrCV2KVJU+AN/9mKSSINy9JQ3HSOiSrTK7V2 k4qjH2yWri5xyrw/3NoXB5IyipzwOR8MraEBZZkOIridSkRX4z6I+ss/I/qgxl9l 0SNxFNAf4rg0icS4CqBrnItWTbMpKldU+oA0dLC8bCHRRqkxOptdRAYSjmlaYBmA /7CWkLv87T1Jui1SemZ6fgtuAqc/iG0vaxAWt0mIGUkF41le3YxDftwiyM4VoPgj tmpRfFlLnh2NljW9W7Ml7sdlqxUTCZD6lA6ECCSGuAimuquavCOJKDyGDQudW6EZ fCuAfzyAkJ4DvAl02yvRQwLsrgdlzAcq8xpcwD30eLv5uDtRJLAO2Hac1qRN+34j H4NR9J1xmdRu82mThQmaOQ== =WuUg -----END PGP SIGNATURE-----
pgpPJ9gTZW9N3.pgp
Description: PGP signature
