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
coq is marked for autoremoval from testing
Debian testing autoremoval watch Fri, 14 Feb 2020 20:58:40 -0800
- coq is marked for autoremoval from testin... Debian testing autoremoval watch
- coq is marked for autoremoval from t... Debian testing autoremoval watch
- coq is marked for autoremoval from t... Debian testing autoremoval watch
