On Sat, Jul 25, 2015 at 02:32:13PM +0200, Kamil Rytarowski wrote: > Could you please rename gcc5 to gcc52 and recover gcc 5.1 under the > name gcc51? I need both. For the curious audience -- why do you need both? Thomas (it's extra effort for the gcc packages because they have accompanying mk/ changes)