On Wed, 2015-02-11 at 07:56 +0100, Achim Gratz wrote: > Yaakov Selkowitz writes: > > ppl Achim Gratz > > That's a support package for an older gcc version that AFAIK is not > needed anymore. I can update if anybody needs it for something else > (not currently the case, though), otherwise please make it obsolete.
Indeed. I have removed ppl and the ppl-based cloog from the distro, as nothing depended on them anymore. -- Yaakov