Your message dated Sat, 09 Jun 2012 15:26:57 +0000
with message-id <[email protected]>
and subject line Bug#671583: fixed in proofgeneral 4.2~pre120605-1
has caused the Debian Bug report #671583,
regarding proofgeneral: byte compile warnings not fatal to install
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.)
--
671583: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=671583
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: proofgeneral
Version: 4.2~pre120411-2
Severity: wishlist
File: /usr/lib/emacsen-common/packages/install/proofgeneral
It'd be good if byte compiler warnings were not setup to be fatal when
installing, ie. don't set byte-compile-error-on-warn.
It's very rare a byte compiler warning is anything which renders the
whole package unusable. Almost always it's just a bit of slackness
about variable declarations or whatnot which will run perfectly well.
I think warnings can be left to the code author to review, no need to
stop package installation.
I struck this because I made and use a "bytecomp-simplify.el" which adds
extra byte compiler warnings, which came up in some proofgeneral bits.
Eg.
../coq/coq.el:2441:23:Warning: `(char-after (point))' can be simplified to
`(char-after)'
Of course that also raises the matter whether a byte compile should be
done with "emacs -q -no-site-file" to keep out packaged add-ons like
mine. -no-site-file has the benefit of not depending on what any other
package might set-up, but on the other hand lisp depending on other lisp
might want those setups ...
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (990, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.32-5-486
Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral depends on:
ii emacs23 23.4+1-3
ii mmm-mode 0.4.8-6
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
ii proofgeneral-doc 4.2~pre120206-1
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.2~pre120605-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:
proofgeneral-doc_4.2~pre120605-1_all.deb
to main/p/proofgeneral/proofgeneral-doc_4.2~pre120605-1_all.deb
proofgeneral_4.2~pre120605-1.debian.tar.gz
to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.debian.tar.gz
proofgeneral_4.2~pre120605-1.dsc
to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.dsc
proofgeneral_4.2~pre120605-1_all.deb
to main/p/proofgeneral/proofgeneral_4.2~pre120605-1_all.deb
proofgeneral_4.2~pre120605.orig.tar.gz
to main/p/proofgeneral/proofgeneral_4.2~pre120605.orig.tar.gz
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, 06 Jun 2012 23:12:58 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120605-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: 669318 671583
Changes:
proofgeneral (4.2~pre120605-1) unstable; urgency=low
.
* New upstream release (Closes: #669318)
* fix byte-compile-error-on-warn in emacsen-install, --no-site-file has
been dropped already in 4.2~pre120411-2 (Closes: #671583)
* use debian-emacs-flavor in emacsen-startup (see #662163)
* delete patch disable-proof-tree, add patch smartly-enable-prooftree
for enabling prooftree if Coq >= 8.4beta is detected
* fix package description
* add hints on Prooftree and incompatibility with manual Coq
installations to README.Debian
* new patch for using debian-pkg-add-load-path-item (see #670339), but
don't use it, because debian-pkg-add-load-path-item breaks Proof
General, see #676424
Checksums-Sha1:
eed36c65acc3bdee35e38d6607a946413d3a3992 1962 proofgeneral_4.2~pre120605-1.dsc
31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306
proofgeneral_4.2~pre120605.orig.tar.gz
4d26bd3872e3a17beb9a961edb8802156d5f783a 19936
proofgeneral_4.2~pre120605-1.debian.tar.gz
87e6d970c852a237d32f0a1ed00847c8e7808efd 432326
proofgeneral_4.2~pre120605-1_all.deb
6b585d9f2b6c02ad507b3867b35ef6b52f58f143 671154
proofgeneral-doc_4.2~pre120605-1_all.deb
Checksums-Sha256:
19b2fd6ff2fe951e35bcb8920d6026c2068292602a3a3ec332451f38c99baf95 1962
proofgeneral_4.2~pre120605-1.dsc
fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306
proofgeneral_4.2~pre120605.orig.tar.gz
c7526d768e5cb85094849fd1bec047643fdb17c1d798ce71bda96806c505a979 19936
proofgeneral_4.2~pre120605-1.debian.tar.gz
8237ee62d62013c457c523f026b84010fedab3dad1c16d92fbb984e9957a26b2 432326
proofgeneral_4.2~pre120605-1_all.deb
f02de46c836bb20eb9c6d3d2ff48d2bd723af74ef01acf5d2450e6d7be27b5fa 671154
proofgeneral-doc_4.2~pre120605-1_all.deb
Files:
7fe6d30793b0a7a43558d9ccc3f37090 1962 editors optional
proofgeneral_4.2~pre120605-1.dsc
f103b1b6badf87188ab92ad47a507c44 1020306 editors optional
proofgeneral_4.2~pre120605.orig.tar.gz
1a73aafe338d739f6ed9fa072367fe5b 19936 editors optional
proofgeneral_4.2~pre120605-1.debian.tar.gz
b9aa642c50766d3e7d31045dce6da890 432326 editors optional
proofgeneral_4.2~pre120605-1_all.deb
4415587f07f8e62d569f1737817323b6 671154 doc optional
proofgeneral-doc_4.2~pre120605-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJP02OGAAoJEHhT2k1JiBrT1/8QALhC5kJkM2PBTgaLYuWw8oFj
LlBtQyw4g7J6K8AvdwrPeJtc01m/mm2Mphw1u9bgz1QTflUhas04x0r2o3z2u8wx
qhcGE5ooBheGun4BLHtZHq3aEtQ2dKGmHnncXAKp05LxieFeAhnpaVbrtLbpdi3W
5DTZOfdu8ytekdN+AbmgGketTTrxKcRW42QkZGQKeAnk6nzm26bQtA1/Ar/bVPqi
Y4VJdeYSK8XhiiYRQRkegf+G+WK1wiqEDgfcgKbN/wVVUWaTiwzTkbKyRoHkD8S1
1blWo3ZSFsID69tL2hs0DehNcxkeGjqhZfIag3dFy8ox4wr5WTKIkFPOszCXe5sM
HApi3OpFUUtZROwjJFsQgBZwtwV3dQ9k96wScqSsuEY1ZcLh7kMTdekl5P5XxMyL
ew1xM2f8yg9dikf8lp8JwBpPEKgg6Mr+23at6AY3foMZziwsUBt4tRP5EGHKX6Rf
XgU7jAbz3lQvJFUC+OpS5Hnqh1t9YATch4SV9m5XSt8a9TfmQpQmFtPMTO574rDp
GCf3x2Db9w5nRGI5lgVCLkG+HttxXIFusLOa7rZyHESgA+sezGHc+cb/khw5p0nG
mqwKUCuQp4ghSJeBCGCDPdQxe+RPFEyUPxjQFs5ncSBR8vK504xdb+unTHFuOYns
hQF1rnFceLDN4I6b7/Tk
=2sHk
-----END PGP SIGNATURE-----
--- End Message ---
