• coq-quickchick_1.6.3-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jul 18 18:20:01 2022
    Accepted:

    -----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-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)