Comment 19 for bug 565810

@ linuxexperte

I tried to wget one of the files you mentioned in your post, but I got a 404 file not found error.

All I can guess is that the mirror redirects its pool elsewhere and its not being found. If that is the case then the fix Adrien Cunin mentioned in post 12 will not work.

Anyone else feel the same?

This is a guess.

Maybe since it is down and they are fixing, we ought not customize our settings for a temp fix that should in theory work.

Paul