[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#655343: proofgeneral: New upstream version is released.

Package: proofgeneral
Version: 3.7-4
Severity: normal

Dear Maintainer,
New upstream version is released.


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           
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: