alt-ergo 1.01-1 is marked for autoremoval from testing on 2016-11-23 It (build-)depends on packages with these RC bugs: 837456: ocamlgraph: ocamlgraph needs PIE binNMU