Eu tentaria adicionar o PPA à maneira "normal" (sudo add-apt-repository). Antes de executar sudo apt-get update
, eu abriria o /etc/apt/sources.list.d
e procuraria por um arquivo cujo título se parecesse com o ppa que você adicionou. Como usuário root, abra o arquivo com seu editor de texto favorito e substitua todas as ocorrências da palavra precise , com quantal . Em seguida, execute sudo apt-get update
e instale os pacotes desejados. De lá, mude seu ppa de volta, (ou adicione novamente com add-apt-repository), e execute sudo apt-get update
, para evitar que outros pacotes potencialmente problemáticos sejam instalados.