Necesitaba PHP 7.1 en mi Server Debian Stretch, así que manos a la obra.

Obs:

•  Utilizo Debian Stretch de 64 bits.
•  Asumo que no se tiene instalado Apache ni PHP.

Entramos a la terminal y tecleamos lo siguiente:
cd ~
sudo apt update
sudo apt install apt-transport-https ca-certificates
sudo wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
sudo sh -c 'echo "deb https://packages.sury.org/php/ stretch main" > /etc/apt/sources.list.d/php.list'
sudo apt update
sudo apt install apache2 php7.1
sudo apt clean && sudo apt autoclean

Para verificar la versión del PHP:
php -v

Sale por pantalla:
PHP 7.1.19-1+0~20180714182313.1+stretch~1.gbpa53b68 (cli) (built: Jul 14 2018 18:23:16) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.1.19-1+0~20180714182313.1+stretch~1.gbpa53b68, Copyright (c) 1999-2018, by Zend Technologies

Imagen destacada: Wikipedia