You received this message because you are subscribed to a topic in the Google Groups "JuliaBox" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/julia-box/a7vmohiSdX4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to julia-box+...@googlegroups.com.
It seems the domain is reachable, but the specific file is not.This works: http://www.mpfr.org/mpfr-current/#downloadand 3.1.5 is available: http://www.mpfr.org/mpfr-current/mpfr-3.1.5.tar.bz2Is upgrading to 3.1.5 an option?