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://mirror-bbg-5.internet1.de/sury-php-stretch stretch 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
deb [signed-by=/usr/share/keyrings/deb.sury.org-php.gpg arch=amd64] http://mirror-bbg-5.internet1.de/sury-php-stretch stretch main
Name Last modified Size Description
Parent Directory -
apt.gpg 2022-09-19 14:40 1.7K
dists/ 2022-09-19 13:07 -
header.html 2022-09-19 14:53 923