Package: proofgeneral Version: 3.5-6 Severity: wishlist Hello,
The version 3.7 is available. It is important because it supports utf-8 and would probably solve the 429830 bug. Best regards, Olivier -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-buga (SMP w/2 CPU cores; PREEMPT) 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 emacs [emacsen] 22.1+1-3 The GNU Emacs editor (metapackage) ii emacs21 [emacsen] 21.4a+1-5.3 The GNU Emacs editor ii emacs22 [emacsen] 22.1+1-3 The GNU Emacs editor ii xemacs21-mule [emacsen] 21.4.21-3 highly customizable text editor -- Versions of packages proofgeneral recommends: ii proofgeneral-coq 3.5-6 ProofGeneral support for coq -- debconf information excluded -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
