Для вибору необхідної версії скористайтеся командою

sudo update-alternatives --config php

І далі з запропонованого списку виберіть ту яка вам необхідна