@dem32@mstdn.starnix.network ah, php8 is in extra.. php7 does include it, at least judging from the installed files.

maybe recompile it with some extra option? if php80 really doesn't start and is broken i'd send a mail to pat.