Bug#1014973: marked as done (ITP: coq-hammer -- automated reasoning tool for Coq)
Your message dated Mon, 18 Jul 2022 16:00:09 +0000
with message-id <E1oDTAH-000BEB-VZ@fasolo.debian.org>
and subject line Bug#1014973: fixed in coq-hammer 1.3.2+8.15-1
has caused the Debian Bug report #1014973,
regarding ITP: coq-hammer -- automated reasoning tool 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.)
--
1014973: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014973
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-hammer
Version : 1.3.2+8.15
Upstream Author : Lukas Czajka, Cesary Kaliszyk
* URL : https://coqhammer.github.io
* License : LGPL-2.1
Programming Lang: Coq
Description : automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
.
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-hammer
Source-Version: 1.3.2+8.15-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-hammer, 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 1014973@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-hammer 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: Fri, 15 Jul 2022 16:31:51 +0200
Source: coq-hammer
Binary: libcoq-hammer libcoq-hammer-dbgsym libcoq-hammer-tactics libcoq-hammer-tactics-dbgsym
Architecture: source amd64
Version: 1.3.2+8.15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-hammer - automated reasoning tool for Coq (plugin)
libcoq-hammer-tactics - automated reasoning tool for Coq (tactics)
Closes: 1014973
Changes:
coq-hammer (1.3.2+8.15-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014973)
Checksums-Sha1:
f4978a3ea27ecb56dad6a820295ea57319f634e3 2171 coq-hammer_1.3.2+8.15-1.dsc
e257d15b271dbc8799638209dbadbaaa5f990184 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
75690f1008a41c9736bcd151a9601257e3cc225d 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
ec1df1463868f75b62f63a75750854197ac46210 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
edffa31e8a5f68907a394597040f51bf0ff875dc 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
4335b4a92c8ce5752fae87b6559c10558dbcaa63 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
c440f23913bd55f4c86919f0e05f4b48897823b7 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
eaaee5ea9be50993ab26b6029897c96ff599acf3 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
Checksums-Sha256:
16e4d9af54d0a43a06c27c3a699fd8cee25242ddb716ce9f6ca087cfa36b42c1 2171 coq-hammer_1.3.2+8.15-1.dsc
d334417f5934fc222578382977e66f7eccb7f2e6b8d9f6570d5afe1a878ca70f 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
d3d6b1455bf4013a8770a494dcc5cc48248976b84a47553cfa56c534a9d4580e 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
9ae6312c08a30e84a26ddac481941d398e5d6956185378c97634959243693378 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
40b27450933b99625cacdde3929d56abb46d12cfd84ce741dc96b541c9112cd1 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
46497011059cf58421b007c18debdcb56ea0e96f22c33be092aaf12738f99cc9 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
1fffadf6922761fb2f6ca1329c26c0ba89691028de6c3880e394e347b7cd6a28 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
95dd6be4ef202febd20b9a1697f1f81edb4e761a02a86a6a26b3d784bfc5f119 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
Files:
ea22c2385c410861b365356e1c8cff7a 2171 ocaml optional coq-hammer_1.3.2+8.15-1.dsc
7e7b0401a864c1d04ac345fd63373926 148626 ocaml optional coq-hammer_1.3.2+8.15.orig.tar.gz
fb8c0817757c727b895adb999ec43029 2232 ocaml optional coq-hammer_1.3.2+8.15-1.debian.tar.xz
3d7a28826a5d8290b558b7e23b168d88 8116 ocaml optional coq-hammer_1.3.2+8.15-1_amd64.buildinfo
6acec5a9c976f3f0ef61bde6037fec00 26424 debug optional libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
33ba766964e399b05161fdaa2d96b139 17112 debug optional libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
93f41f6db71fde78f76c2d7b4b1c8ebd 313832 ocaml optional libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
265d8c2764349ec3dcc89273e5f3402a 209080 ocaml optional libcoq-hammer_1.3.2+8.15-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRe5cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpmwP/2mZ6DPE/tPChMhD/ze0FEBRQnxtfJeI
LcFxv+4lM24eGHPY/JJSujComt1ICOzaUePSP+PLSBYbsS3m7nJb67JcE10KBB6r
YNrqiBorVEWFG10ZzUAPoSoaTyBLwUbh8MZ2/VRQWuYLZ+/C69dUFqzcXSN2OTBy
U79zNSwq6QDyryWjADUfsGLaug97edT+MdcxP6ZnsI+Yd2m/yFJRDc/xn93DUcnh
zbgiNCY3078wWZeYWqQBd+hFv3m870CTUx948oCLoQVP0lLRjGloz5bMTqtweqwO
c46yiFh3DHhTEJesjZD6O0ogY6+shgC+n6UCoPlZQza+0BMwA3a8A6wWKgxMYFDW
SnwirJMDcET4LI7i+7hrfc2JKlib0Pjgf/BaIAWFdEPUDzR4WVXKVL/+Hmi1DbjF
/iWmGmUBqXpRO+fhlUT9ub/QUH0vQr/wSuC9QypTli2Ksscl9Ua4w/zSU4tWYIHo
HD66/yh1rr2LFEWad3wokEp0rs8hSrECN0LFyKfVnqSn4Np14EzlTxrTt4ir0Rn5
O/sKewPG8IDFtexLer/PtmxEBKNmmvnSwNk2SCmwchZ/m/qmICO5MlJzSiNBesvg
1mkbgpvYzsPHGmDgm9cfUNWY4g/lXF+w2dtKDeBpF8C3HH+63eBp9sQpGwUZD1mS
Al0LpWuVXcia
=O0NX
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: