Ubuntu 16.04 - PHP 7.1.11 a 7.1.3

Question

Como posso atualizar minha versão do PHP do PHP 7.1.11 para 7.1.3 no meu Ubuntu 16.04 servidor? Eu tentei o seguinte:

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install php7.1

Mas eles estão recebendo a seguinte resposta:

php7.1 is already the newest version (7.1.16-1+ubuntu16.04.1+deb.sury.org+1).

Também tentou fazer o seguinte:

sudo apt-get install php7.1.3

Mas então estou recebendo este erro:

E: Unable to locate package php7.1.3
E: Couldn't find any package by glob 'php7.1.3'
E: Couldn't find any package by regex 'php7.1.3'

Como posso atualizar uma versão secundária?

    

Answer 1

Como o repositório oficial vem com a versão 7.0, o repo de ondrej / php tem 7,1

Adicione o repositório:

sudo add-apt-repository ppa:ondrej/php

Atualização:

sudo apt-get update

Instalar 7.1:

sudo apt-get install php7.1 php7.1-common

se necessário, você pode remover pacotes antigos:

sudo apt-get purge php7.0 php7.0-common