Arduino alternate download site?

Does anyone have an address for a mirror site to download the Arduino software? I guess they’re doing a server upgrade and downloads are not available. I just received my hardware and I’m a little anxious to get started. Thanks.

Wayne