Hallo,
unsere PHP-Pakete für Debian/Ubuntu wurden auf die Versionen 7.2.30, 7.3.17 und 7.4.5 aktualisiert.
Viele Grüße
-Klaus Keppler
PS: wir planen die Erkennung der verfügbaren PHP-Versionen zu überarbeiten, so dass auch alternative PHP-Pakete (deb.sury.org oder für CentOS die Remi-Pakete) komplett automatisch erkannt werden - die Registrierung via Lua soll mittelfristig also entfallen.