Preciso fazer o downgrade do PHP em uma das minhas VMs de 7.2 para 7.1 no Ubuntu 16.0.4. A última vez que tentei remover apenas o PHP e substituí-lo por uma versão diferente, tive todos os tipos de problemas com o Apache e o MySQL. Existe uma maneira rápida de fazer o downgrade do PHP de 7.2 para 7.1, sem ter que reinstalar e configurar completamente o Apache (versão mais recente deste documento) e tudo o mais no servidor?
Preciso fazer o downgrade devido a informações incorretas que recebi de um fornecedor de software que afirma que seu aplicativo é executado no PHP 7.2. Acontece que ele deve ter 7.1.
Tentei procurar informações sobre como fazer o downgrade de 7.2 para 7.1, mas apenas obtive resultados de 'atualização'.
Obrigado pela ajuda.
sudo add-apt-repository ppa:ondrej/php
instalar o PHP 7.2.x