prooftree is marked for autoremoval from testing

Mon, 28 Oct 2019 21:57:42 -0700 

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

Reply via email to