Chris Rieger <chrisrieger at live.com> writes: I seem to be unable to download gmp from the website. Is there an issue with the host? Probably "the host" is then in trouble, yes. (If "the host" refers to gmplib.org, than I am not aware of any "issue". You will find that specifiying the host and the issue might allow a better answer.) -- Torbjörn