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: Sun, 14 Oct 2018 04:39:08 +0000
Message-id: <[🔎] E1gBYBI-0005sY-Ds@respighi.debian.org>

coq 8.6-5 is marked for autoremoval from testing on 2018-11-12

It (build-)depends on packages with these RC bugs:
885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2

Reply to:

Prev by Date: dose3 is marked for autoremoval from testing
Next by Date: cudf is marked for autoremoval from testing
Previous by thread: dose3 is marked for autoremoval from testing
Next by thread: cudf is marked for autoremoval from testing
Index(es):
- Date
- Thread