proofgeneral
source package

general

source
proofgeneral (source, editors)
version
4.2~pre120411-2
maint
Hendrik Tews
std-ver
3.9.3

versions ... ...pool

oldstable
save 3.7-3
stable
save 3.7-4
testing
save 4.2~pre120411-2
unstable
save 4.2~pre120411-2

todo

  • A new upstream version is available: 4.2pre120430, you should consider packaging it.

news RSS

bugs

all bug history graph
3
RC
0
I&N
0
M&W
3
F&P
0

ubuntu ubuntu ...

patch-tracker ...

oldstable
3.7-3
stable
3.7-4
testing
4.2~pre120411-2
unstable
4.2~pre120411-2