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

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

Reply via email to