Descobri que haveria uma resposta fácil no Google, mas sem sorte. A maioria dos tutoriais, embora semelhantes ao que eu preciso, não funcionam no Debian:
link
add-apt-repository ppa:ondrej/php5
rendimentos:
-bash: add-apt-reposit...
08.12.2012 / 00:36