libgmp10 from home:bmwiedemann:reproducible:distribution:ring0rb project
Seleccione su sistema operativo
Añadir repositorio e instalar de forma manual
Para standard ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/home:bmwiedemann:reproducible:distribution:ring0rb/standard/home:bmwiedemann:reproducible:distribution:ring0rb.repo zypper refresh zypper install libgmp10