Hello. It seems that the url field of the gmp package is outdated -gives a 404 error-. The right link is http://gmplib.org/

Cheers,

--
Gustavo Andrés Gómez Farhat