On 2013-04-18 12:37, Achim Gratz wrote: > $wget/ppl/libppl-devel/setup.hint FYI, there is no obsoletes: tag. I created the necessary upgrade helper for ppl-devel and marked it as test:. Yaakov