@2258738:mingw-w64-tools-13.0.0-1.mga10.src.rpm: ok