prooftree is marked for autoremoval from testing

To: prooftree@packages.debian.org
Subject: prooftree is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Tue, 07 Nov 2017 04:39:14 +0000
Message-id: <[🔎] E1eBvfO-00067k-By@respighi.debian.org>

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

Reply to:

Prev by Date: Re: Status of llvm-toolchain-3.8?
Next by Date: Processed: tagging 876735
Previous by thread: Re: Status of llvm-toolchain-3.8?
Next by thread: prooftree is marked for autoremoval from testing
Index(es):
- Date
- Thread