Eu apenas fui em frente e adicionei o PHP7 ao meu servidor, seguindo um guia usando o PPA de ondej. Agora eu quero remover o php antigo, então obviamente eu fiz sudo apt-get remove --purge php5e parecia que tudo correu bem, exceto que não foi desinstalado. Se eu php -vobtiver a versão 7, mas ainda...