prooftree 0.13-1 is marked for autoremoval from testing on 2017-12-13 It (build-)depends on packages with these RC bugs: 880285: proofgeneral: FTBFS: build-dependency not installable: emacs24
prooftree is marked for autoremoval from testing
Debian testing autoremoval watch Mon, 06 Nov 2017 20:57:31 -0800
- prooftree is marked for autoremoval from ... Debian testing autoremoval watch
- prooftree is marked for autoremoval ... Debian testing autoremoval watch
- prooftree is marked for autoremoval ... Debian testing autoremoval watch