I tried running guix pull again, but still didn't work https://paste.debian.net/1081770 Here's my config.scm https://paste.debian.net/1081771 I then connected via VPN so I got an IP in the Netherlands, and le-certs downloaded just fine! So this may be a mirroring issue? /Calle