Package: proofgeneral Version: 4.4.1~pre170114-1.2 Severity: wishlist Hi,
upstream released version 4.5 less than a month ago: https://github.com/ProofGeneral/PG/tags would it be possible to update the package? Thanks, J.Puydt
Package: proofgeneral Version: 4.4.1~pre170114-1.2 Severity: wishlist Hi,
upstream released version 4.5 less than a month ago: https://github.com/ProofGeneral/PG/tags would it be possible to update the package? Thanks, J.Puydt