Bug#1050372: RM: prooftree -- RoQA; depends on gtk2; no human uploader; unmaintained upstream; low popcon

[Bastian Germann]

Source: prooftree
Severity: serious

Please consider removing prooftree. It has a very low popcon, lists no 
Uploaders (team maintained), and depends transitively on gtk2. The last 
upstream release was in 2017.

I intend to file a RM bug.
If you have any reasons to keep it in Debian please voice them here.
To get people's attention, I am filing as a serious bug and will 
reassign to the FTP team when the package is autoremoved from testing.