guix.gnu.org and ci.guix.gnu.org temporarily down

[Ludovic Courtès]

Hello,

The head node behind guix.gnu.org and ci.guix.gnu.org (“berlin”) is
currently down.  Consequently, the web site as well as substitutes are
unavailable.  Hopefully it will be back within 12 hours.

Apologies for the inconvenience!

Ludo’.