مشکل با اضافه کردن پکیج php5-phalcon حل شد:

sudo apt-add-repository ppa:phalcon/stable
sudo apt-get update
sudo apt-get install php5-phalcon