Bug#1016815: Updating proofgeneral to recent upstream

Package: proofgeneral Version: 4.4.1~pre170114-1.2 Followup-For: Bug #1016815 Dear Maintainer, Here is a patch for the d/watch file. Thanks, Patrice -- System Information: Debian Release: trixie/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, 'ex

Bug#1016815: Updating proofgeneral to recent upstream

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