Dear maintainer, > From what I gather, PG development now moved to github > https://proofgeneral.github.io > and the current version does support the new (or at least some) > features.
ProofGeneral 4.4 has been released in September. Could the debian package be updated? Best regards, Samuel
