Se você quiser misturar repositórios como esse, use pinning.
Consulte o link para obter detalhes.
Ao fixar, você instala um único pacote e o menor número de dependências possível.
Sem fixar, sudo apt-get upgrade
atualizará (atualizará) muitos ou todos os seus pacotes e muito provavelmente causará quebra.
Em geral, a menos que você tenha muita experiência com o apt, misturar repositórios, mesmo com pinagem, é desaconselhável.
É melhor encontrar um ppa ou usar backports.
Meu conselho é que você use o ppa de Craven.
OMI, se um pacote não estiver disponível, eu concordo com o conselho de construir a partir da fonte como, IMO, é menos provável que cause danos irreparáveis ao sistema.