Package: proofgeneral Version: 3.7-2 Severity: important The PGHOMEDEFAULT variable in /usr/bin/proofgeneral should refer to /usr/share/emacs/site-lisp/proofgeneral, ie should be all lower-case. By now it contain /usr/bin/ProofGeneral. It make it unsuable with default configuration.
-- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.24-1-686 (SMP w/1 CPU core) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages proofgeneral depends on: ii debconf [debconf-2.0] 1.5.20 Debian configuration management sy ii xemacs21-mule [emacsen] 21.4.21-3 highly customizable text editor -- ii xemacs21-nomule [emacsen] 21.4.21-3 highly customizable text editor -- Versions of packages proofgeneral recommends: ii proofgeneral-misc 3.7-2 generic interface for proof assist -- debconf-show failed -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
