@2312631:php8.5-8.5.2-1.mga10.src.rpm: ok