-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jul 2026 08:36:21 +0200 Source: coq-quickchick Binary: libcoq-quickchick quickchick Architecture: source amd64 Version: 2.2.0-2 Distribution: unstable 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) Closes: 1044511 Changes: coq-quickchick (2.2.0-2) unstable; urgency=medium . * Fix compilation with recent dune. * Fix building source after build (Closes: #1044511). Checksums-Sha1: 4de46fc42a18a21b19719e5264f3efb1346126bf 2306 coq-quickchick_2.2.0-2.dsc e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz c89b673a209839ebedc41ca80ad7ffdd39317f2c 3864 coq-quickchick_2.2.0-2.debian.tar.xz 49d709692bb53224a8d21c234dae6a6b3f705fd6 8082 coq-quickchick_2.2.0-2_amd64.buildinfo 3d6d6075a4ee1b933634696e6c50651d91986825 3499948 libcoq-quickchick_2.2.0-2_amd64.deb fb0c64502aa22d7b2a164709cc9897709d24174f 501056 quickchick_2.2.0-2_amd64.deb Checksums-Sha256: 1053925f243e83a10794e3a8d28086943397bcdfb6aa576fcfd021a2a14e7e3c 2306 coq-quickchick_2.2.0-2.dsc 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz a8feec28dd6b5831c18b3e965b277f233c8cf70c21bc16000451fbcd2393d380 3864 coq-quickchick_2.2.0-2.debian.tar.xz 2676d737da818747a689291b42ae1fa8feceb31170fda542c4f0b4dc4bd36c33 8082 coq-quickchick_2.2.0-2_amd64.buildinfo d730fed71ba8c6ff4b752cba8dcd218ebd582bf007af43a015eae9e270cbf8ab 3499948 libcoq-quickchick_2.2.0-2_amd64.deb b813c327d21768cca05070c82645abc1f224a081d00f4fb298fb5481f67bbd83 501056 quickchick_2.2.0-2_amd64.deb Files: 6ce455085a630715edbdd77a6a12ddab 2306 ocaml optional coq-quickchick_2.2.0-2.dsc 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.orig.tar.gz fc7290b235865064b630994fe39b585a 3864 ocaml optional coq-quickchick_2.2.0-2.debian.tar.xz 63a21461f23fc60a75b0bbdd1b9dd59c 8082 ocaml optional coq-quickchick_2.2.0-2_amd64.buildinfo 88c459b311802168d0eb341d7a9d02c9 3499948 ocaml optional libcoq-quickchick_2.2.0-2_amd64.deb fe47c7e13f0652d78f17b7be366ff977 501056 ocaml optional quickchick_2.2.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoQkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZoHD/91mfKXleBAjioKCe28f2Un 7cm6tOMaph6x7YgaRrDlWRI6I5s1pRPlhkzUq/OH1Tb31WNLcrPoFI2VXOkI01JR FZXu+4YV05dpp8ya+6vYOOlqkK0g6nQ4O7PhKSHB2jNCuE/Anmss6NkU9CByZ8ac 3T7TWXazMlzRpv+d9k0lsRgIY4k39TsHuqq4SDnE2r43t2RryhFWjgvqGmOPdTL6 +4vcIx3gT+QCDupePIMdN0fAwagyh5WsotgFkxGO/oVbf4J3IBc9jk/rXldMjHWY kyHkmyzXYJ5RWpB2gksavkE5jseN7Zmiw9av4oKsnFMR/icT9+ky/AX/t9P1B/nT i4hv5lTSyre9QY6fSLzCKTshbp20uTT18kC7XIrVh7n+YZIC57HjfKVF/A++ipFP OR+J9h/SIyjNWRUZJBaXlvdkWARIt+51DGcTKNKw5n8sDjpmjg3H++w5xkdSxlGF qYF0YWSP0EB0kfzGkmiVcQr8Ub5+hFKeqUGeuWicDORy9aeoEqcZTTMKHTclaNCM 5xXNIFH+S+UobOxnmYWrgWzo2ivApGNIBptKdDUWpG5YBQIG+rbdohjX55HGfWg4 Pr/vKtIS81r1JBmHVB+U1pF0sCvUdocjsiHGzh3iM9rbbvmDE38hhtBztln5kjWG aeIJVv2edh/826/aUfIB6g== =/bd3 -----END PGP SIGNATURE-----
