coq-float 1:8.9.0-1 is marked for autoremoval from testing on 2020-04-04 It (build-)depends on packages with these RC bugs: 911166: gtksourceview2: Do not release with Bullseye 952454: coq: patch to use python3 (missing tests)
coq-float is marked for autoremoval from testing
Debian testing autoremoval watch Thu, 05 Mar 2020 21:00:28 -0800
- coq-float is marked for autoremoval from ... Debian testing autoremoval watch
- coq-float is marked for autoremoval ... Debian testing autoremoval watch
- coq-float is marked for autoremoval ... Debian testing autoremoval watch
