apt-get установочный пакет для разных дистрибутивов

Моя среда разработки на работе работает под управлением Ubuntu 14.04, и мне нужно установить php7.2. Мы используем бродячую машину с установочным скриптом, который делал это автоматически.

Первым делом он добавил репо с пакетом:

sudo add-apt-repository ppa:ondrej/php

затем обновите:

sudo apt-get update

и наконец

sudo apt-get install php7.2-fpm

но это больше не работает, потому что ondrej удалил поддержку ubuntu 14.04 - см. репозиторий https://launchpad.net/~ondrej/+archive/ubuntu/php/+index?batch=75&memo=150&start=150

Так что теперь мне интересно, как сказать apt-get установить пакет для другой версии. Или какие еще есть варианты? Я не могу найти файл для ручной загрузки

Спасибо!