Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From http://isl.gforge.inria.fr/isl-0.23.tar.bz2... In procedure connect*: Connection timed out Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.nluug.nl/mirror/languages/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.fu-berlin.de/unix/languages/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "isl-0.23.tar.bz2: No such file or directory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://ftpmirror.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2... following redirection to `https://mirror.kumi.systems/gnu/gcc/infrastructure/isl-0.23.tar.bz2'... download failed "https://mirror.kumi.systems/gnu/gcc/infrastructure/isl-0.23.tar.bz2" 404 "Not Found" Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.cs.tu-berlin.de/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "CWD infrastructure" 550 "Can't change directory to infrastructure: No such file or directory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From http://ftp.gnu.org/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2... download failed "http://ftp.gnu.org/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2" 404 "Not Found" Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://ci.guix.gnu.org/file/isl-0.23.tar.bz2/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5...  …w981w3fbwkfwd7kl779b0j52f5 2.0MiB 0B/s 00:00 [ ] 0.0%  …w981w3fbwkfwd7kl779b0j52f5 2.0MiB 1.1MiB/s 00:00 [ ] 3.1%  …w981w3fbwkfwd7kl779b0j52f5 2.0MiB 11.4MiB/s 00:00 [##################] 100.0%