Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From https://linux-libre.fsfla.org/pub/linux-libre/releases/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz... download failed "https://linux-libre.fsfla.org/pub/linux-libre/releases/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz" 404 "Not Found" Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From ftp://alpha.gnu.org/gnu/guix/mirror/linux-libre-5.4.20-gnu.tar.xz... Throw to key `ftp-error' with args `(# "RETR linux-libre-5.4.20-gnu.tar.xz" 550 "Failed to open file.\r")'. Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From https://ftpmirror.gnu.org/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz... following redirection to `https://gnu.mirror.constant.com/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz'... download failed "https://gnu.mirror.constant.com/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz" 404 "Not Found" Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From ftp://ftp.cs.tu-berlin.de/pub/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz... Throw to key `ftp-error' with args `(# "CWD 5.4.20-gnu" 550 "Can't change directory to 5.4.20-gnu: No such file or directory\r")'. Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From http://ftp.gnu.org/pub/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz... download failed "http://ftp.gnu.org/pub/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz" 404 "Not Found" Starting download of /gnu/store/0zcl1i3rbjc356138hx86b7yaz29g6fj-linux-libre-5.4.20-gnu.tar.xz From https://ci.guix.gnu.org/file/linux-libre-5.4.20-gnu.tar.xz/sha256/1qxhf6dmcwjblzx8fgn6vr10p38xw10iwh6d1y1v1mxb25y30b47...  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 0B/s 00:00 [ ] 0.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 1.4MiB/s 00:00 [ ] 0.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 2.9MiB/s 00:00 [ ] 0.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.3MiB/s 00:00 [ ] 1.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:01 [ ] 2.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:01 [ ] 3.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:01 [ ] 3.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:01 [ ] 4.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [ ] 5.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 6.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 7.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 7.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 8.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 9.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 10.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 11.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [## ] 11.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:03 [## ] 12.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 13.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 14.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 15.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 15.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [## ] 16.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [### ] 17.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [### ] 18.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [### ] 19.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [### ] 19.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [### ] 20.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [### ] 21.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [### ] 22.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [#### ] 23.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [#### ] 23.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:07 [#### ] 24.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:07 [#### ] 25.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:07 [#### ] 26.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:07 [#### ] 27.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:08 [#### ] 27.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:08 [##### ] 28.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:08 [##### ] 29.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:08 [##### ] 30.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:08 [##### ] 30.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:09 [##### ] 31.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:09 [##### ] 32.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:09 [##### ] 32.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:09 [###### ] 33.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:09 [###### ] 34.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:10 [###### ] 34.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:10 [###### ] 35.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:10 [###### ] 36.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:10 [###### ] 37.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:10 [###### ] 38.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:11 [###### ] 38.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:11 [####### ] 39.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:11 [####### ] 40.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:11 [####### ] 41.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:11 [####### ] 42.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:12 [####### ] 42.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:12 [####### ] 43.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:12 [####### ] 44.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:12 [######## ] 45.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:13 [######## ] 46.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:13 [######## ] 46.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:13 [######## ] 47.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:13 [######## ] 48.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:13 [######## ] 49.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:14 [######## ] 50.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:14 [######### ] 50.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:14 [######### ] 51.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:14 [######### ] 52.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:14 [######### ] 53.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:15 [######### ] 53.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:15 [######### ] 54.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:15 [######### ] 55.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:15 [########## ] 56.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:16 [########## ] 57.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:16 [########## ] 57.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:16 [########## ] 58.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:16 [########## ] 59.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:16 [########## ] 60.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:17 [########## ] 61.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:17 [########### ] 61.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:17 [########### ] 62.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:17 [########### ] 63.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:17 [########### ] 64.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:18 [########### ] 65.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:18 [########### ] 65.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:18 [########### ] 66.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:18 [############ ] 67.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:19 [############ ] 68.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:19 [############ ] 68.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:19 [############ ] 69.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:19 [############ ] 70.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:19 [############ ] 71.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:20 [############# ] 72.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:20 [############# ] 73.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:20 [############# ] 73.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:20 [############# ] 74.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:21 [############# ] 75.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:21 [############# ] 75.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:21 [############# ] 76.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:21 [############# ] 76.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:21 [############# ] 77.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:22 [############## ] 78.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:22 [############## ] 78.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:22 [############## ] 79.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:22 [############## ] 80.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:22 [############## ] 80.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:23 [############## ] 81.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:23 [############## ] 81.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:23 [############## ] 82.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:23 [############## ] 83.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:23 [############### ] 83.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:24 [############### ] 84.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:24 [############### ] 85.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:24 [############### ] 85.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:24 [############### ] 86.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:25 [############### ] 87.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:25 [############### ] 87.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:25 [############### ] 88.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:25 [############### ] 88.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:25 [################ ] 89.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:26 [################ ] 90.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:26 [################ ] 90.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:26 [################ ] 91.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:26 [################ ] 91.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:26 [################ ] 92.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################ ] 92.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################ ] 93.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################ ] 93.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:27 [################ ] 94.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:27 [################# ] 95.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 95.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 96.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 97.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 98.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [################# ] 99.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [################# ] 99.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [##################] 100.0%