Impossible d'installer php7.4-dev sur Ubuntu 18.04
<p>J'essaie d'installer l'extension <code>php7.4-dev</code>, mais j'obtiens l'erreur suivante : </p>
<pre class="brush:php;toolbar:false;">E : Impossible de localiser le package php7.4-dev
E : Impossible de trouver des packages via glob 'php7.4-dev'
E : Impossible de trouver un package via l'expression régulière 'php7.4-dev'</pre>
<p>Lorsque j'exécute <code>apt show php</code>, le message suivant s'affiche : </p>
<pre class="brush:php;toolbar:false;">Package : php
Version : 1:7.2+60ubuntu1
Priorité : facultatif
Catégorie : php
Source : php-defaults (60ubuntu1)
Source : Ubuntu
Maintenu par : les développeurs Ubuntu <ubuntu-devel-discuss@lists.ubuntu.com>
Responsable d'origine : les responsables Debian PHP <pkg-php-maint@lists.alioth.debian.org>
Bogue : https://bugs.launchpad.net/ubuntu/+filebug
Taille installée : 12,3 Ko
Dépendances : php7.2
Accompagnement : 5 ans
Taille du téléchargement : 3 084 B
Source APT : http://archive.ubuntu.com/ubuntu bionic/main Paquets amd64
Description : langage de script côté serveur, intégré au HTML (par défaut)
PHP (abréviation récursive de PHP : Hypertext Preprocessor) est un langage de script open source à usage général largement utilisé, particulièrement adapté au développement Web et pouvant être intégré dans HTML.
.
Ce package est un package de dépendances et dépend de la version PHP par défaut d'Ubuntu (actuellement 7.2). ≪/pré>
<p>J'ai mis à jour la source du logiciel à l'aide de la commande suivante : </p>
<pre class="brush:php;toolbar:false;">sudo add-apt-repository ppa:ondrej/php
sudo apt update</pre>
<p>Après avoir exécuté <code>apt show php</code> à nouveau, j'ai reçu le même message qu'avant, la version n'avait toujours pas changé et elle affichait toujours <code>PHP 7.2</code>. </p>
<p>Cependant, j'obtiens le même résultat à chaque fois et malheureusement, je ne peux pas installer <code>php7.4-dev</code>. </p>
<p>sudo add-apt-repository ppa:ondrej/php
sudo apt mise à jour
apt afficher php</p>
