我安装了 Ubuntu 19.10 并将其用于 Web 开发，主要用于 PHP 框架。
我们有一些运行 php7.2 和 php7.3 的项目。我安装了 7.3 但是 7.2 不存在？
我添加了ppa:ondrej/php让我获得 php7.3 的 PPA，但是安装 php7.2 给了我错误
$ sudo apt update
Hit:1 http://linux.teamviewer.com/deb stable InRelease
Hit:2 https://dl.yarnpkg.com/debian stable InRelease
Hit:3 http://ca.archive.ubuntu.com/ubuntu eoan InRelease
Ign:4 http://dl.google.com/linux/chrome/deb stable InRelease
Hit:5 http://dl.google.com/linux/chrome/deb stable Release
Hit:6 http://security.ubuntu.com/ubuntu eoan-security InRelease
Hit:7 http://ca.archive.ubuntu.com/ubuntu eoan-updates InRelease
Hit:8 http://ppa.launchpad.net/cappelikan/ppa/ubuntu eoan InRelease
Hit:9 http://ca.archive.ubuntu.com/ubuntu eoan-backports InRelease
Get:11 http://ppa.launchpad.net/ondrej/php/ubuntu eoan InRelease [20.8 kB]
Hit:12 http://ppa.launchpad.net/teejee2008/ppa/ubuntu eoan InRelease
Fetched 20.8 kB in 3s (8,105 B/s)
Reading package lists... Done
Building dependency tree
Reading state information... Done
All packages are up to date.
$ sudo apt install -y php7.2 php7.2-cli
Reading package lists... Done
Building dependency tree
Reading state information... Done
Note, selecting 'php7.2-sodium' for regex 'php7.2'
Note, selecting 'php7.2-thrift' for regex 'php7.2'
E: Unable to locate package php7.2-cli
E: Couldn't find any package by glob 'php7.2-cli'
E: Couldn't find any package by regex 'php7.2-cli'
有没有人能够在 Ubuntu 19.10 上安装 7.2，还是我不走运？