Hi, the current version of PG in Debian (all versions) is 4.3~pre131011. The Debian maintainer for this package is Hendrik Tews.
Is there anybody interested in and capable of updating the Debian package with a more recent version of PG? Best, Benedikt _______________________________________________ ProofGeneral mailing list ProofGeneral@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral