Если нет желания париться с установкой пакетов и их зависимостями и еще нет данных на сервере, то скорее для вас будет проще установить Debian 7.
Если найдется желание установить нужную версию, то можно просто собрать нужную версию с помощью phpbrew или phpenv.
Лично привык использовать phpbrew. Пример установки
PhpBrew. Менеджер версий PHP. (+ установка и испол...