upgrade などしてしまって、PHP7.2のパッケージが消失してしまう。

以下を参照 How To Install PHP (7.3, 7.2 & 5.6) on Debian 9 Stretch

PHP7.2を Debian 9（stretch）にインストールする方法

<

p class="code">$ sudo apt-get install apt-transport-https lsb-release ca-certificates $ sudo wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg $ echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" | sudo tee /etc/apt/sources.list.d/php.list 認証して、/etc/apt/sources.list.d/ に php.list を新たに追加している模様