>gcc-4.2 и gcc-4.7 -- это разные сущности, совсем.

Хм?
Ну на то пошло, в слоты можно поставить gcc-4.2.3, 4.2.4, 4.7.0, 4.7.2. И все это будут разные слоты одного порта, и между ними можно удобно переключаться парой команд.

>У нас для этого используется ОДИН дополнительный
>репозиторий -- wip, что безумно удобно.

А вот не факт.
Во-первых, чужая площадка - это чужая площадка.:) В смысле, что ты хошь-нехошь, а должен принимать правила того, кто рулит. И не только правила, но и возможные закидоны. А оверлей можешь поднять хоть на своем локалхосте.
Во-вторых. В разных репах один и тот же порт может быть по-разному запилен. И юзверь сможет выбирать, чью версию он будет использовать - твою или Васи Пупкина.