prooftree is marked for autoremoval from testing

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

prooftree is marked for autoremoval from testing

Debian testing autoremoval watch
prooftree 0.13-1 is marked for autoremoval from testing on 2019-11-14

It (build-)depends on packages with these RC bugs:
941544: proofgeneral: build-depend on texlive-plain-generic, not obsolete texlive-generic-recommended