Accepted coq-quickchick 1.6.3-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 1.6.3-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 16:00:10 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=f/JuGlyDnqeIqAaqLp7Eu2SUUmh3xb4wVSvsTv0Gc3k=; b=lP74qnQaZ3vrO1Bao30KlqXJre 7Ha5R7E7awGsAt7ZsfiCfhQJb5tcsEqbv7/PyJAD0xCFiW1STk7+QZJIcuHCOIY0MCQf8gLx+Il2h ePpb7s81TLHyDa6YUKncKtZ48px2XqHaL/pl1zv2kjxfnCNtWZwwScdCtQZQhk2F0TQSuRpc3qbUL 5rZsMq4LkIX2zbTl7utw2qT5f+j2hDBdqBkVo75kVwR6L72b4tR9O39e6gLOBjrrNa+ysJ92BGPNl zEQna5edOolPRI3IHDCcCBTnFG5yinCYvTQNwA901UlRdbphylwPIWqtdpi6QfEWLtxUyWqioij68 Eir5PlJQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDTAI-000BEV-Cz@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----