mingw-gmp-6.3.0-1.mga10.src.rpm build ok