Yes, you are right, ci.guix.gnu.org can serve as a substitute url even ping it 
result in 100% package loss and this time installation process successfully 
finished.

This thread should be closed.

Reply via email to