On 10 March 2011 22:27, nicolas vigier <boklm at mars-attacks.org> wrote: >> (@Theirry, yes, I added both provides and obsoletes but the old >> packages still didn't get automatically removed from the repos). > > I don't see them on the repository. So it seems they have been removed > by the obsoletes. :-)