@2381417:php8.5-8.5.12-1.mga10.src.rpm: ok