Hi, > Yes, you are right, ci.guix.gnu.org can serve as a substitute url even > ping it result in 100% package loss […]
Yes, IMCP is blocked by the institute firewall, so you can’t ping the server. Thanks for letting us know that you had sucess in building the system! -- Ricardo
