Today various Guix commands started showing me substitute: guix substitute: warning: ci.guix.gnu.org: connection failed: No route to host Indeed ci.guix.gnu.org's IP, 141.80.181.40, is not accessible. Also when trying to connect through Tor. Anybody knows what might be wrong? Wojtek -- (sig_start) website: https://koszko.org/koszko.html PGP: https://koszko.org/key.gpg fingerprint: E972 7060 E3C5 637C 8A4F 4B42 4BC5 221C 5A79 FD1A Meet Kraków saints! #22: saint Kinga Poznaj świętych krakowskich! #22: święta Kinga https://pl.wikipedia.org/wiki/Święta_Kinga -- (sig_end)