Я пытаюсь обновить php7.3.13 до 7.3.17 на ubuntu 18.04
я сделал
apt-get update
apt-get install php7.3
Он сказал, что пакет 7.3.17 распакован, но после перезапуска apache я все еще получаю 7.3.13 в phpinfo и php-v.
Пробуем apt show -a php7.3 | Версия grep дает версию: 7.3.17-1 + ubuntu18.04.1 + deb.sury.org + 1
apt-get install php7.3=7.3.17-1+ubuntu18.04.1+deb.sury.org+1 дает php7.3 - это уже самая новая версия (7.3.17-1 + ubuntu18.04.1 + deb.sury.org + 1).
но все же php -v и phpinfo показывают версию .13
Чего не хватает?