安装 php 7.2在Debian 9 (Stretch)上

目前好多源都不行了，记录一下可以用的源，找了好久

echo "deb https://debian.octopuce.fr/snapshots/sury-php/20220630/ stretch main" | sudo tee /etc/apt/sources.list.d/php.list
wget -qO - https://debian.octopuce.fr/sury-php/apt.gpg | sudo apt-key add -
apt update