#GNU DNS has been intermittently failing for the past 24h.
#Guix users can work around it and get substitutes using ‘--substitute-urls=https://141.80.181.40’.
For upgrades, you can run: ‘guix pull --url=https://github.com/guix-mirror/guix’.
In both cases, this is safe: #Guix authenticates substitutes as well as code fetched from Git, and it flags downgrade attempts.