Package: proofgeneral Version: 3.7-4 Severity: normal Dear Maintainer, New upstream version is released.
http://proofgeneral.inf.ed.ac.uk/ Could you upgrade proofgeneral package to version 4.1? Regards, Kiwamu -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.1.0-1-amd64 (SMP w/2 CPU cores) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral depends on: ii debconf [debconf-2.0] 1.5.41 ii dpkg 1.16.1.2 ii emacs [emacsen] 23.3+1-4 ii emacs23 [emacsen] 23.3+1-4 ii install-info 4.13a.dfsg.1-8 ii xemacs21-mule [emacsen] 21.4.22-3.2 Versions of packages proofgeneral recommends: ii proofgeneral-coq 3.7-4 Versions of packages proofgeneral suggests: pn x-symbol <none> -- debconf information excluded -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
