giac-1.5.0.85-2.mga8.src.rpm build ok