Hallo,

unsere PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 7.2.25 und 7.3.12 aktualisiert.
Zudem ändern sich damit ab sofort die Versionierung der Pakete. Statt bisher z.B. "7.2.25-1+stretch1" lautet die Nummer nun "1:7.2.25-1+deb9u1".

Damit wird ein mögliches Problem beim Dist-Upgrade umgangen (die alphabetische Sortierung von "stretch"/"buster" ist problematisch, "deb9" und "deb10" wird von Debian dagegen korrekt sortiert).

Viele Grüße

-Klaus Keppler