aac-tactics 8.6.1-2 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