JuliaLang/julia — pull request #7957 by staticfloat (2014-08-11 19:04:14+00:00)
Title: Update gmp to 6.0.0

Closes https://github.com/JuliaLang/julia/issues/7858