alt-ergo is marked for autoremoval from testing

Mon, 24 Oct 2016 22:03:07 -0700 

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

Reply via email to