allora...fin qui ci arrivo -> http://packages.dotdeb.org/dists/stable/php5/source/

ora?

Quale scegliere e come aggiornare?