Hello!

An update: hydra.gnu.org has started building again current master and
core-updates branches.

However, its web server (the ‘hydra-server’ program of Hydra) is
currently very unstable.  We are investigating, but in the meantime,
binaries cannot be reliably downloaded from hydra.gnu.org.

Ludo’.