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://mirrors.ocf.berkeley.edu/gnu/linux-libre/5.4.20-gnu/linux-libre-5.4.20-gnu.tar.xz'... download failed "https://mirrors.ocf.berkeley.edu/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 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: System error 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 887KiB/s 00:00 [ ] 0.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 2.9MiB/s 00:00 [ ] 0.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.3MiB/s 00:00 [ ] 1.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:01 [ ] 2.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:01 [ ] 3.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:01 [ ] 4.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:01 [ ] 4.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 5.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 6.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 7.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:02 [# ] 8.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 9.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 9.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [# ] 10.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [## ] 11.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:03 [## ] 12.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:04 [## ] 13.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 13.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:04 [## ] 14.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:04 [## ] 15.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:05 [## ] 16.6%  …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.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.8MiB/s 00:06 [### ] 20.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:06 [### ] 21.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:06 [### ] 21.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:06 [#### ] 22.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:06 [#### ] 23.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:07 [#### ] 23.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:07 [#### ] 24.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:07 [#### ] 25.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.7MiB/s 00:07 [#### ] 26.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:08 [#### ] 26.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:08 [#### ] 27.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:08 [##### ] 28.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:08 [##### ] 29.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:08 [##### ] 29.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:09 [##### ] 30.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:09 [##### ] 31.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:09 [##### ] 31.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:09 [##### ] 32.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:09 [##### ] 33.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:10 [###### ] 33.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:10 [###### ] 34.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:10 [###### ] 34.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:10 [###### ] 35.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:10 [###### ] 36.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:11 [###### ] 36.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:11 [###### ] 37.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:11 [###### ] 37.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:11 [###### ] 38.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:12 [####### ] 39.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:12 [####### ] 39.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:12 [####### ] 40.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:12 [####### ] 40.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:12 [####### ] 41.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:13 [####### ] 42.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:13 [####### ] 42.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:13 [####### ] 43.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:13 [####### ] 44.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:13 [######## ] 44.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:14 [######## ] 45.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:14 [######## ] 46.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:14 [######## ] 47.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:14 [######## ] 48.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:15 [######## ] 48.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:15 [######## ] 49.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:15 [######### ] 50.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:15 [######### ] 51.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:15 [######### ] 52.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:16 [######### ] 52.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:16 [######### ] 53.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:16 [######### ] 53.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:16 [######### ] 54.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:17 [######### ] 55.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:17 [########## ] 56.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:17 [########## ] 56.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:17 [########## ] 57.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:18 [########## ] 58.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:18 [########## ] 59.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:18 [########## ] 60.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:18 [########## ] 60.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:18 [########### ] 61.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:19 [########### ] 62.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:19 [########### ] 63.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:19 [########### ] 63.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:19 [########### ] 64.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.4MiB/s 00:19 [########### ] 65.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:20 [########### ] 65.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:20 [############ ] 66.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:20 [############ ] 67.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:20 [############ ] 68.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:20 [############ ] 69.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:21 [############ ] 69.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:21 [############ ] 70.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:21 [############ ] 71.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:21 [############# ] 72.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:21 [############# ] 73.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:22 [############# ] 73.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:22 [############# ] 74.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:22 [############# ] 75.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:22 [############# ] 76.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:23 [############# ] 77.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:23 [############## ] 77.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:23 [############## ] 78.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:23 [############## ] 79.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:23 [############## ] 80.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:24 [############## ] 81.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:24 [############## ] 81.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:24 [############## ] 82.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:24 [############### ] 83.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:24 [############### ] 84.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:25 [############### ] 85.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:25 [############### ] 85.8%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:25 [############### ] 86.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:25 [############### ] 87.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:26 [############### ] 88.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:26 [################ ] 88.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:26 [################ ] 89.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:26 [################ ] 90.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:26 [################ ] 91.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:27 [################ ] 92.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.5MiB/s 00:27 [################ ] 92.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################ ] 93.7%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################# ] 94.5%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:27 [################# ] 95.3%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 96.1%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 96.9%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 97.6%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:28 [################# ] 98.4%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [################# ] 99.2%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [##################] 100.0%  …8xw10iwh6d1y1v1mxb25y30b47 102.5MiB 3.6MiB/s 00:29 [##################] 100.0%