Bug#655343: proofgeneral: New upstream version is released.
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
Reply to: