Repos came back up last night. Must have been a SourceForge issue. Maybe they had a server down or something.