Re: Problem with Hydra?

[Konrad Hinsen]

Hi Ludovic,

The problem is that mirror.hydra.gnu.org was serving a zero-length
file.  This is fixed now.

Indeed - I am up to date again!

Thanks,
  Konrad.