Hello, There is currently a problem with DNS for the various Guix services. Berlin at least appears to be running fine otherwise, and you can still get substitutes by using its public IP like:
--8<---------------cut here---------------start------------->8--- guix install hello --substitute-urls='https://141.80.181.40' --8<---------------cut here---------------end--------------->8--- I thought I'd share this useful tip while the problem is investigated and resolved. -- Thanks, Maxim
