Hi!
I created my own APT repository for Debian Jessie amd64. I'll port phalcon for Debian Wheezy and x86 later.
Source packaging: https://github.com/HanXHX/phalcon-debian
I created an Ansible role to install on your servers. => https://galaxy.ansible.com/list#/roles/5212
Install guide as root:
gpg --keyserver pgpkeys.mit.edu --recv-key 31F49B93
gpg -a --export 31F49B93 | apt-key add -
echo 'deb https://apt.debianiste.org/debian jessie main' > /etc/apt/sources.list.d/phalcon
apt-get update
apt-get install php5-phalcon
I'll try to port all new versions as quick as possible.
Enjoy!
Emilien