frama-c 20171101+sulfur+dfsg-1 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
Debian testing autoremoval watch Sat, 13 Oct 2018 22:01:40 -0700
frama-c 20171101+sulfur+dfsg-1 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