Server outage

Due to problems during a planned migration, the server is currently down. This affects the wiki, mailing list, and tier 0 mirror.

We do not have an ETA on the server being back up, but hopefully soon.

In the mean time, the mirrorlist is avaliable here, and you should select a different mirror.