Repository Down?

John Koenig koenigjm at
Tue Oct 18 18:10:56 CEST 2011

I am attempting to connect to the repository so that I can check out an 
older version of GMP, however my connection is being refused (port 8000).

Is the information in the developer's corner on the website accurate?   
How can I connect to the repository?



More information about the gmp-discuss mailing list