libgmpxx4 from home:phoenix.os:depository project
选择您的操作系统
添加软件源并手动安装
对于 openSUSE Tumbleweed，请以根用户 root 运行下面命令：
zypper addrepo https://download.opensuse.org/repositories/home:phoenix.os:depository/openSUSE_Tumbleweed/home:phoenix.os:depository.repo zypper refresh zypper install libgmpxx4