Sé que debería tener la forma "sudo apt-get install". Pero, ¿cuál debería ser el nombre de la biblioteca? Y después de la instalación, cómo verificar que se haya instalado correctamente.
software-installation
Utpal Kumar Ray
fuente
fuente
Respuestas:
Puede instalar gmp con el siguiente comando.
Además, mira esta publicación .
fuente