使 PHP7.2 在 Ubuntu 19.10 下工作

我安装了 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，还是我不走运？