giac-2.0.0.18-2.mga10.src.rpm build ok