php8.4-8.4.12-2.mga10.src.rpm build ok