Tomem cuidado com repositório não oficial, geralmente ele tem um monte de aplicações além daquele que você busca. O ideal é tirar dele só o que é necessário e depois desativá-lo.
Tenho visto muitos usuários que ficaram com seu SO instável após atualizações com estes
repositórios ativos.
Nunca fazer um upgrade com estes repositórios ativados.