mingw64-gmp from home:regataos project

For 15.5 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/home:regataos/15.5/home:regataos.repo
zypper refresh
zypper install mingw64-gmp