Bug#1015000: marked as done (ITP: coq-quickchick -- randomized testing framework for Coq)
Your message dated Mon, 18 Jul 2022 16:00:10 +0000
with message-id <E1oDTAI-000BEa-Dq@fasolo.debian.org>
and subject line Bug#1015000: fixed in coq-quickchick 1.6.3-1
has caused the Debian Bug report #1015000,
regarding ITP: coq-quickchick -- randomized testing framework for Coq
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
1015000: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015000
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* Package name : coq-quickchick
Version : 1.6.3
Upstream Author : Leonidas Lampropoulos, Zoe Paraskevopoulou, Maxime Denes,
Catalin Hritcu, Benjamin Pierce, Li-yao Xia, Arthur Azevedo de Amorim, Yishuai
Li, Antal Spector-Zabusky
* URL : https://github.com/QuickChick/QuickChick
* License : Expat
Programming Lang: Coq
Description : randomized testing framework for Coq
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
.
It includes a foundational verification framework to test
code and a mechanism to automatically derive generators
for inductive relations.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-quickchick
Source-Version: 1.6.3-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-quickchick, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1015000@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-quickchick package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.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-----
--- End Message ---
Reply to: