Por fin lo conseguí con vuestra ayuda. No he llegado a hacer lo de josué, porque al editar el sources.list me he llevado una grata sorpresa al ver que tenía un repositorio de php5 (con almohadilla) que sólo he tenido que activar y voilá. :D Muchísimas gracias a todos. Un saludo.