Просмотр поста

Кстати, если захочешь обновить пых, то вот неплохой реп.
deb http://php53.dotdeb.org stable all
deb-src http://php53.dotdeb.org stable all
нужен будет ключ
wget http://www.dotdeb.org/dotdeb.gpg
cat dotdeb.gpg | sudo apt-key add -
Последние версии довольно оперативно появляются. ))