mpfr from home:carlos_wang:mpfr-v401 project
Select Your Operating System
Add repository and install manually
For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:carlos_wang:mpfr-v401/openSUSE_Tumbleweed/home:carlos_wang:mpfr-v401.repo zypper refresh zypper install mpfr