creduce 2.5.0-1 is marked for autoremoval from testing on 2016-11-20 It (build-)depends on packages with these RC bugs: 837456: frama-c: FTBFS with bindnow and PIE enabled