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