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, 05 May 2020 04:39:04 +0000
Message-id: <[🔎] E1jVpMG-0006pb-7p@respighi.debian.org>

prooftree 0.13-1 is marked for autoremoval from testing on 2020-05-06

It is affected by these RC bugs:
956674: prooftree: prooftree must build depend on coq

It (build-)depends on packages with these RC bugs:
911166: gtksourceview2: Do not release with Bullseye

Reply to:

Prev by Date: pxp is marked for autoremoval from testing
Next by Date: lablgtk-extras is marked for autoremoval from testing
Previous by thread: pxp is marked for autoremoval from testing
Next by thread: prooftree is marked for autoremoval from testing
Index(es):
- Date
- Thread