Download server unavailable

[Valentin Villenave]

Hi everybody,

for the past 48 hours at least, downloading GUB binaries (for any
version, any arch) has been impossible. The server does respond, but
downloading is very slow and eventually times out (after having
downloaded a mere 400KB or so).

I can still use home-built LilyPond binaries, but we certainly don't
want normal users to do that.

Cheers,
Valentin.