coq is marked for autoremoval from testing

To: coq@packages.debian.org
Subject: coq is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Fri, 06 Mar 2020 04:39:13 +0000
Message-id: <[🔎] E1jA4lV-0001FX-7J@respighi.debian.org>

coq 8.9.1-5 is marked for autoremoval from testing on 2020-04-04

It is affected by these RC bugs:
952454: coq: patch to use python3 (missing tests)

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

Reply to:

Prev by Date: meta-ocaml is marked for autoremoval from testing
Next by Date: coq-float is marked for autoremoval from testing
Previous by thread: meta-ocaml is marked for autoremoval from testing
Next by thread: coq-float is marked for autoremoval from testing
Index(es):
- Date
- Thread