Bug#1016815: Updating proofgeneral to recent upstream

[julien . 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