Почему GCC 4.7 PPA не обновляется до 4.7.1?

Я хотел бы установить из репозитория (без компиляции из источника) последнюю версию g ++ 4.7.1 на Ubuntu 12.04. Я знаю, что я могу установить g ++ 4.7.0 в соответствии с этим уроком.

Я также обнаружил, что g ++ 4.7.1 существует в том же репозитории, что упоминается в учебнике this . Если в репозитории существует более новая версия, почему ранее установленная версия (4.7.0) не обновляется при запуске «Менеджера обновлений»? Как установить 4.7.1? Спасибо