Marked for autoremoval on 14 November: #941544high
Version 4.4.1~pre170114-1.1 of proofgeneral is marked for autoremoval from testing on Thu 14 Nov 2019. It is affected by #941544. The removal of proofgeneral will also cause the removal of (transitive) reverse dependency: prooftree. You should try to prevent the removal by fixing these RC bugs.
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.4.1 instead of
3.9.8).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/proofgeneral.png){kind=link}