I'm having some trouble installing PHP 7.2 on my Ubuntu box. The Ubuntu disribution i use is Ubuntu 14.04.6 LTS / trusty which I installed using Vagrant.
As written on nearly every website, I've added the ppa:ondrej/php repo by doing the following:
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get upgrade
Then, I tried installing PHP 7.2:
sudo apt-get install php7.2
The problem seems to be that the PHP 7.2 package is somehow not available, since
apt-cache search php
only lists the php5-... components.
What could be causing this problem and how can I fix it?
Thanks in advance, fabianst.