@2209510:mingw-mpfr-4.0.2-5.mga10.src.rpm: ok