Hallo,
ich denke, ich habe es doch selber herausfinden können. Ich musste das Suse Development Kit nachinstallieren (das offenbar mit dem Upgrade von SP3 auf SP4 verloren gegangen ist). Danach war auch wieder das php72-devel verfügbar.
LG Klaus
nicht angemeldet