-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 16 Jul 2022 00:34:31 +0200 Source: coq-quickchick Binary: libcoq-quickchick libcoq-quickchick-dbgsym quickchick Architecture: source amd64 Version: 1.6.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.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: 1015000 Changes: coq-quickchick (1.6.3-1) unstable; urgency=medium . * Initial release. (Closes: #1015000) Checksums-Sha1: d27a1a44a2356083ff09a9c9a33945f031310cc3 2256 coq-quickchick_1.6.3-1.dsc fc1daff38c1090df5d0bc818bb0f01595ba1cb12 388838 coq-quickchick_1.6.3.orig.tar.gz 92d781ee960671d3ccb1f1a0dbea8fec1860ab83 2572 coq-quickchick_1.6.3-1.debian.tar.xz 69bed840bf7665eb5128eefe1b29c1412c2767e1 8001 coq-quickchick_1.6.3-1_amd64.buildinfo ccf64d56c48dde9e97f5ee432aeb62c6e31a9b94 25376 libcoq-quickchick-dbgsym_1.6.3-1_amd64.deb 398c32fd7f312634fb3dbd46bffbd82d570b39aa 1580300 libcoq-quickchick_1.6.3-1_amd64.deb f5936b6d128fcb0c407fd66cb429a665858f2a3f 55156 quickchick_1.6.3-1_amd64.deb Checksums-Sha256: ecfa4546247f50054e45e365d408be58a48a6d9da17af8bc7df27297f6910f87 2256 coq-quickchick_1.6.3-1.dsc 1aa7c278a1cb26435f4227bea56e64dc8310e40b1824ba885ae8fd3b60eb6f0e 388838 coq-quickchick_1.6.3.orig.tar.gz 6ed2379034b2049c401816ff0da3aeed99d1fc9ca66af7d444541b6e58091196 2572 coq-quickchick_1.6.3-1.debian.tar.xz 175cf5c6cc9872a344d40875853c8b696619ec7ab078fb4e5c6e3f33ed9d9216 8001 coq-quickchick_1.6.3-1_amd64.buildinfo 7abb3aa40ca7bc131cbe2d500aa535dc8ead43aef79265c15f7ea45f317b7791 25376 libcoq-quickchick-dbgsym_1.6.3-1_amd64.deb ddc086d7bf753c29d7f8807d562add165ed23929dea6844a7c120088f3679de1 1580300 libcoq-quickchick_1.6.3-1_amd64.deb a6e10d7e0949f7145446a62e3fe69ef022b377ac6719c7292ac7e5428adb5872 55156 quickchick_1.6.3-1_amd64.deb Files: a1dcc968e2ff013bfe265b7add5856ee 2256 ocaml optional coq-quickchick_1.6.3-1.dsc badebd9f0ac9b678b86fce99e91d5305 388838 ocaml optional coq-quickchick_1.6.3.orig.tar.gz 7bfb407cb31391595e0f3ed5f95a1695 2572 ocaml optional coq-quickchick_1.6.3-1.debian.tar.xz d13485b89f4b445379871fc7d2ce50a4 8001 ocaml optional coq-quickchick_1.6.3-1_amd64.buildinfo 30bd8d9c45ad7c9b0adcfc9765bbbf59 25376 debug optional libcoq-quickchick-dbgsym_1.6.3-1_amd64.deb e18ac7f156c61c5a56654eae9e1eaec4 1580300 ocaml optional libcoq-quickchick_1.6.3-1_amd64.deb f1e8a23ccba87a0ca51d3adf0ad4dbe4 55156 ocaml optional quickchick_1.6.3-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR7E4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRAZUP/1DgN46OVWt+t2kTw2qAI3Ur5JhF0MrR as+ztx4j84Y3HjbAhVeXtmhenvbhT22vsNUQfxhyV8lZhJwPnROSmIa5kfMVeFKj Zx1gP7wJpU2K3NcKoQl9AB3WtIPK1Xq4/tbBKw0juPc6kbnkp+QFLUNQuMdesqV3 AOQ8zh0U6dEChsfjQ0rCClH6+M3qsnIC+Gg6PemMPQXmfrFXIexTKT+54F0C+6yl cxJOuMFCWAo9qhJDiPYQ1kZ2D2We+jPuoHOL8bOKDDItGVTvaQkbacfXKSqLzNIG fSDcR2FRLOxorYVaAmN1zo9+OdekdP7xeFloGgKzl+oNFzVWQRYtgjSu3Qbdq7Rz gI9TD2RzunDmAn/EIiNaMyFeJqzgQmPKl1iA2B8XjCSCD66NPNWcbm6ls4Ow0t8J DOnuEpRmXRmKf5o+tkkqcyqaZltcLJEd2pj9Pho994qMgCo8HyTjvBv87zdGcbOW hKHkm4OGZcltU6jXy8AylZ0EyYNb21VUVihEg9EPQbWNsZ2mp60hwns+0/FQ7pCu PlE+va1MZQChSuNgmsHaaFMiS6ZDWKDm0RGv1/5aolfA3rvFlBRkijbIrbTb3XWj jCoizOqri2JkAO7YAlrjQGcCdJAF7SNvmPXSGI9oh4y3Stnfx1NtY8NMHqxCvjXZ 6tIl2o7RPQnT =t+PW -----END PGP SIGNATURE-----
