libgmpxx4 from Cloud:OpenStack:Pike project
Seleccione su sistema operativo
Añadir repositorio e instalar de forma manual
Para SLE 12 SP3 ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/Cloud:OpenStack:Pike/SLE_12_SP3/Cloud:OpenStack:Pike.repo zypper refresh zypper install libgmpxx4