Yes, unfortunately. It's an issue with sourceforge, so not much we can do about it:http://sourceforge.net/blog/various-sou … vices-down
Sourceforge has had no end of downtime problems recently, but it has always come back up again eventually.I'm afraid you're just going to have to wait.http://sourceforge.net/blog/sourceforge … e-for-724/
Both VLC and GIMP projects no longer wish to have any connections with SourceForge due to ever increasing complaints from users about crapware.
Sourceforge's response? Pretty much 'you can have a cut of the profits if you shut up about it...'
Below is the official statement from GIMP as to why and a non-official VLC developer point of view.