frama-c 20151002+magnesium+dfsg-1 is marked for autoremoval from testing on 2016-11-20 It is affected by these RC bugs: 837456: frama-c: FTBFS with bindnow and PIE enabled