No data for openSUSE%3AFactory%3ARISCV / mingw32-mpfr