Atualmente, estamos usando o PHP 5.3 (sim, muito desatualizado, eu sei.) e precisamos atualizá-lo para o php 5.5.9. Eu procurei pelo repositório ppa: ondrej, mas o repositório suporta apenas versões mais recentes. Existe alguma maneira, sem compilar o próprio PHP para atualizar para o 5.5.9+ no Ubuntu 12.04?