This is PHP Debian package repository
You can use it (for most current distribution) by adding the following to a file called /etc/apt/sources.list.d/php.list :
deb http://debian.octopuce.fr/sury-php/ jessie main
jessie can be replaced by your own current distribution's release: jessie, stretch
Then add our repository key by calling :
wget -qO - https://debian.octopuce.fr/sury-php/apt.gpg | sudo apt-key add -Then update your package list and install whatever you want :
aptitude update aptitude install php7.1