frama-c 20171101+sulfur+dfsg-1 is marked for autoremoval from testing on 
2018-11-29

It is affected by these RC bugs:
911159: frama-c: please stop building the frama-c GUI

Reply via email to