Entendo que você tem php-7.2
em seu sistema e gostaria de ter php-7.0
.
Eu assumo que para instalar o php 7.2 no Ubuntu 17.10 você seguiu um link similar ao este e execute os seguintes comandos:
sudo apt-get install python-software-properties
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install -y php7.2
O php7.2
que você instalou faz parte de um ppa
Uma maneira de remover o ppa
package é usar ppa-purge
, por exemplo:
Instale ppa-purge
sudo apt-get install ppa-purge
Use ppa-purge
para remover o pacote:
sudo ppa-purge ppa:ondrej/php-7.2
Depois de remover php-7.2
, você pode instalar php-7.0
Mais informações podem ser encontradas aqui