mxcl/homebrew — pull request #16906 by humdedum (2013-01-05 16:32:28+00:00)
Title: update gmp to 5.1.0

["The gmplib.org site now is the sole source for current GMP releases."](http://gmplib.org/#DOWNLOAD) thus mirror url is gone for now.