I'm almost finish with writing the program for my BA. I'm using PHP 5.6 and Phalcon 2.x. The server runs with CentOS and everything's fine. But for the final things (like finding last bugs and so on) I don't want to always go to university's department, these are things I can do at home. I installed Linux Mint 18 on my machine at home (Win10 only sucks ^^), installed apache, mariadb, php5.6. Now I need phalcon 2.x. So I followed the instructions on the download/installation-page.
sudo apt-add-repository ppa:phalcon/stable
sudo apt-get update
sudo apt-get install php5-phalcon
Package is not found.
Where can I get a deb-package for Linux Mint 18? Or do I have to compile it? Thanks a lot Aljoscha