Your message dated Sat, 18 May 2013 09:05:36 +0000
with message-id <[email protected]>
and subject line Bug#707331: fixed in proofgeneral 4.3~pre130510-1
has caused the Debian Bug report #707331,
regarding proofgeneral: incompatible with new Coq 8.4 features
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 [email protected]
immediately.)
--
707331: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707331
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: proofgeneral
Version: 4.2~pre120605-2
Severity: normal
Dear Maintainer,
Coq 8.4, which has just landed in unstable, brings a new syntactic feature:
Proof bullets. Versions of proofgeneral prior to 4.2 do not properly support
this. Could you please update proofgeneral to that version?
Kind regards
Ralf
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (990, 'testing'), (100, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.8-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral depends on:
ii emacs23 23.4+1-4
ii mmm-mode 0.5.1-1
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
pn proofgeneral-doc <none>
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.3~pre130510-1
We believe that the bug you reported is fixed in the latest version of
proofgeneral, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Hendrik Tews <[email protected]> (supplier of updated proofgeneral 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 15 May 2013 17:11:19 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre130510-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews <[email protected]>
Changed-By: Hendrik Tews <[email protected]>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 687977 707331
Changes:
proofgeneral (4.3~pre130510-1) unstable; urgency=low
.
* New upstream release (Closes: #707331)
* improve watch file (thanks to Bart Martens for the uversionmangle hint)
* add new patch to install coq example and add hint in tutorial
(Closes: #687977)
* add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1
* add new patch pg-image-bug to rename ProofGeneral.jpg
* permit emacs24
* update README.Debian
* bump standards version to 3.9.4
* debhelper compat level 9
Checksums-Sha1:
828128b07e2db3a7b4a7dde785c6a86e74414e16 2009 proofgeneral_4.3~pre130510-1.dsc
46c85141e1e501de0712f7910e028dd7f495e067 1047655
proofgeneral_4.3~pre130510.orig.tar.gz
3010c1db352b1033c4541b4e8b4978164f4dd89c 20746
proofgeneral_4.3~pre130510-1.debian.tar.gz
e5cfe52e22c39708a51f3031a261fec8b2953c95 464710
proofgeneral_4.3~pre130510-1_all.deb
6a47fc7860e9108d640ade3c385feeae73f3e9a4 686532
proofgeneral-doc_4.3~pre130510-1_all.deb
Checksums-Sha256:
1937f5d1d3870fa86c5aa295e0dab6a6362a0295ed3d0015a6b7fead547c44bb 2009
proofgeneral_4.3~pre130510-1.dsc
0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e 1047655
proofgeneral_4.3~pre130510.orig.tar.gz
9d5a7cc4407a95e7b7eac3506872a0528bbbba97ab18f18d867b484784fec8db 20746
proofgeneral_4.3~pre130510-1.debian.tar.gz
e19f3b4e51438c34668d8ecbe5bb2f634cb310ef3a6c6767d6b426c674a637d7 464710
proofgeneral_4.3~pre130510-1_all.deb
d7447a6bf2220e6837959da40013fff3d7f2b2eaa2aa7f2ec087a6f5dbe9a787 686532
proofgeneral-doc_4.3~pre130510-1_all.deb
Files:
4bb320f1b0d522de64b885a00986dc03 2009 editors optional
proofgeneral_4.3~pre130510-1.dsc
6a48f2df2ae7ec4563d10f8423f50188 1047655 editors optional
proofgeneral_4.3~pre130510.orig.tar.gz
4574519ec483413f3da774e4cf4dac29 20746 editors optional
proofgeneral_4.3~pre130510-1.debian.tar.gz
ccb6c69e214231c1b7012c3a469d2f5c 464710 editors optional
proofgeneral_4.3~pre130510-1_all.deb
aa0a69b1e72983c90277a33b4aaa9654 686532 doc optional
proofgeneral-doc_4.3~pre130510-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRlzqOAAoJEHhT2k1JiBrTWGIP/R8dKE//FQ7yycDLgCCR8C6I
L6ihY19eIReRk/fAmTBHANLRae+xmcRS3nskxUk5jbVG7osh+WVAbxgu1IiFJb6L
5YSfVAKPCHK3t7JGIkTZgoBdS0Ea+nzdW0uj0z6k30Y7GcE3y2a8E7lln7+38LwQ
NJJfM7IWTK5nxX0+EAITNbyYQytA1aQtACsewQfNFLOKBBhObtf7rJveFWolCBdV
t+nIj2AlwrOedd44ZCz2Ju/gqIMb6LI02ZM2HA9ktr+/odJO5YNYyaZ6KacOYnig
/iW3mjRfv12OV1blKBbtoQgDcpHcMeGvNie+EVchaAG92XZOPJX/QeRNM4dOlT46
e/2IYnqvY3k+mhz6Rec4XEw9b+bYzhFPPe/rY2qvs3jR0RIkz1kiLzyIx2VfxPfE
F5Bm4dNfcWdV5+TtO7ZBSYBYHNg3xtrhJbzcKCQvPgb+6UaWDq/3iZzJi0USK6+N
OuKcLknr6Nc5DacWIqf1YdZPMfjtubicbx+HBWQ06elSJcV6kgM8VRZjJ3lkyfiw
QfPawsaxKHrzLNJjhpdf5mv2Kl9REL6XU58Zy7fw0raQMb7Sl7NBOmwGv7hGTv8b
jRkkuEK4pYvrbloW0kP09+B8oyP2fKJZKct5VkLYpUPJh3l0mHVykTfNXnJv2JFV
K+6pIM1aiacH5eI6QQB8
=423Y
-----END PGP SIGNATURE-----
--- End Message ---
