On 14 Feb 2006, at 16:24, Igor Karpov wrote:
> ok, I have this file among my distfiles, so I really don't need to
> download it. I only wanted to warn others, so I've tried to
> download it from two different boxes with different connections to
> the Net and got the same result on both ones. BTW, I've tried again
> a minute ago - nothing's changed. Let's hope it's a temporary fault.
the temporary problem is that the real repository is a bit
overloaded, but the file you downloaded has got nothing wrong. It is
just an HTML page with a meta refresh to the location of the file.
