creduce 2.9~20181016-1 is marked for autoremoval from testing on 2018-11-16 It (build-)depends on packages with these RC bugs: 885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 909542: opam: FTBFS when built with dpkg-buildpackage -A 910222: opam: copyright file missing after upgrade (policy 12.5) 911159: frama-c: please stop building the frama-c GUI