@2372785:php8.5-8.5.11-1.mga10.src.rpm: ok