php7.4-dev kann unter Ubuntu 18.04 nicht installiert werden
<p>Ich versuche, die Erweiterung <code>php7.4-dev</code> zu installieren, erhalte jedoch die folgende Fehlermeldung: </p>
<pre class="brush:php;toolbar:false;">E: Paket php7.4-dev konnte nicht gefunden werden
E: Über Glob „php7.4-dev“ konnten keine Pakete gefunden werden.
E: Es konnte kein Paket über den regulären Ausdruck „php7.4-dev“ gefunden werden</pre>
<p>Wenn ich <code>apt show php</code> ausführe, wird Folgendes angezeigt: </p>
<pre class="brush:php;toolbar:false;">Paket: php
Version: 1:7.2+60ubuntu1
Priorität: optional
Kategorie: PHP
Quelle: php-defaults (60ubuntu1)
Quelle: Ubuntu
Verwaltet von: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Ursprünglicher Betreuer: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org>
Fehler: https://bugs.launchpad.net/ubuntu/+filebug
Installierte Größe: 12,3 kB
Abhängigkeiten: php7.2
Support: 5 Jahre
Downloadgröße: 3.084 B
APT-Quelle: http://archive.ubuntu.com/ubuntu bionic/main amd64-Pakete
Beschreibung: Serverseitige, in HTML eingebettete Skriptsprache (Standard)
PHP (rekursive Abkürzung für PHP: Hypertext Preprocessor) ist eine weit verbreitete Open-Source-Skriptsprache für allgemeine Zwecke, die sich besonders für die Webentwicklung eignet und in HTML eingebettet werden kann.
.
Dieses Paket ist ein Abhängigkeitspaket und hängt von der Standard-PHP-Version von Ubuntu (derzeit 7.2) ab. </pre>
<p>Ich habe die Softwarequelle mit dem folgenden Befehl aktualisiert: </p>
<pre class="brush:php;toolbar:false;">sudo add-apt-repository ppa:ondrej/php
sudo apt update</pre>
<p>Nachdem ich <code>apt show php</code> erneut ausgeführt habe, erhielt ich die gleiche Meldung wie zuvor, die Version hatte sich immer noch nicht geändert und es wurde immer noch <code>PHP 7.2</code> angezeigt. </p>
<p>Allerdings erhalte ich jedes Mal das gleiche Ergebnis und leider kann ich <code>php7.4-dev</code> nicht installieren. </p>
<p>sudo add-apt-repository ppa:ondrej/php
Sudo apt-Update
apt display php</p>
