Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
In watchfile debian/watch, reading webpage
http://proofgeneral.inf.ed.ac.uk/releases/ failed: 404 Not Found
Standards version of the package is outdated.
high
The package is severely out of date with respect to the Debian Policy.The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.6.2 instead of
3.9.8).
debian/patches: 11 patches to forward upstream
low
Among the 11 debian patches
available in version 4.4.1~pre170114-1.2 of the package,
we noticed the following issues:
11 patches
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/proofgeneral.png){kind=link}