Во-первых, всегда рекомендуется использовать версию, которая находится в обычных хранилищах Ubuntu, которые могут быть установлены через программный центр (в настоящее время v. 10.05).
В упомянутом PPA не содержится версия для Ubuntu 12.10, так что в этом случае вам придется вручную добавить «точный» (Ubuntu 12.04) раздел этого репозитория, который, похоже, имеет v. 12.11 из C :: B.
Установка с домашней страницы, вероятно, будет сложной, сделайте это, только если вам нужно (см. Ответ Journeyman Geek).