mingw-gmp-6.1.2-4.mga8.src.rpm build ok