Starting download of /gnu/store/l9vhv074g8m4zqc420d6d21qm21a6ggw-gawk-5.0.1.tar.xz From https://ftpmirror.gnu.org/gnu/gawk/gawk-5.0.1.tar.xz... In procedure connect: Network is unreachable Starting download of /gnu/store/l9vhv074g8m4zqc420d6d21qm21a6ggw-gawk-5.0.1.tar.xz From ftp://ftp.cs.tu-berlin.de/pub/gnu/gawk/gawk-5.0.1.tar.xz... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/l9vhv074g8m4zqc420d6d21qm21a6ggw-gawk-5.0.1.tar.xz From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu/gawk/gawk-5.0.1.tar.xz... In procedure connect: Network is unreachable Starting download of /gnu/store/l9vhv074g8m4zqc420d6d21qm21a6ggw-gawk-5.0.1.tar.xz From http://ftp.gnu.org/pub/gnu/gawk/gawk-5.0.1.tar.xz...  gawk-5.0.1.tar.xz 3.0MiB 0B/s 00:00 [ ] 0.0%  gawk-5.0.1.tar.xz 3.0MiB 97KiB/s 00:01 [ ] 2.1%  gawk-5.0.1.tar.xz 3.0MiB 124KiB/s 00:01 [ ] 4.2%  gawk-5.0.1.tar.xz 3.0MiB 142KiB/s 00:01 [# ] 6.3%  gawk-5.0.1.tar.xz 3.0MiB 153KiB/s 00:02 [# ] 8.4%  gawk-5.0.1.tar.xz 3.0MiB 167KiB/s 00:02 [# ] 10.4%  gawk-5.0.1.tar.xz 3.0MiB 175KiB/s 00:02 [## ] 12.5%  gawk-5.0.1.tar.xz 3.0MiB 184KiB/s 00:02 [## ] 14.6%  gawk-5.0.1.tar.xz 3.0MiB 193KiB/s 00:03 [### ] 16.7%  gawk-5.0.1.tar.xz 3.0MiB 207KiB/s 00:03 [### ] 20.9%  gawk-5.0.1.tar.xz 3.0MiB 209KiB/s 00:03 [#### ] 23.0%  gawk-5.0.1.tar.xz 3.0MiB 214KiB/s 00:04 [#### ] 25.1%  gawk-5.0.1.tar.xz 3.0MiB 217KiB/s 00:04 [#### ] 27.2%  gawk-5.0.1.tar.xz 3.0MiB 227KiB/s 00:04 [##### ] 31.3%  gawk-5.0.1.tar.xz 3.0MiB 233KiB/s 00:05 [###### ] 35.5%  gawk-5.0.1.tar.xz 3.0MiB 233KiB/s 00:05 [###### ] 37.6%  gawk-5.0.1.tar.xz 3.0MiB 236KiB/s 00:05 [####### ] 39.7%  gawk-5.0.1.tar.xz 3.0MiB 241KiB/s 00:06 [####### ] 43.9%  gawk-5.0.1.tar.xz 3.0MiB 247KiB/s 00:06 [######## ] 48.1%  gawk-5.0.1.tar.xz 3.0MiB 253KiB/s 00:06 [######### ] 52.2%  gawk-5.0.1.tar.xz 3.0MiB 251KiB/s 00:07 [######### ] 54.3%  gawk-5.0.1.tar.xz 3.0MiB 244KiB/s 00:07 [########## ] 56.4%  gawk-5.0.1.tar.xz 3.0MiB 240KiB/s 00:07 [########## ] 58.5%  gawk-5.0.1.tar.xz 3.0MiB 237KiB/s 00:08 [########## ] 60.6%  gawk-5.0.1.tar.xz 3.0MiB 235KiB/s 00:08 [########### ] 62.7%  gawk-5.0.1.tar.xz 3.0MiB 235KiB/s 00:08 [########### ] 64.8%  gawk-5.0.1.tar.xz 3.0MiB 236KiB/s 00:09 [############ ] 66.9%  gawk-5.0.1.tar.xz 3.0MiB 236KiB/s 00:09 [############ ] 69.0%  gawk-5.0.1.tar.xz 3.0MiB 235KiB/s 00:09 [############ ] 71.1%  gawk-5.0.1.tar.xz 3.0MiB 234KiB/s 00:10 [############# ] 73.1%  gawk-5.0.1.tar.xz 3.0MiB 235KiB/s 00:10 [############# ] 75.2%  gawk-5.0.1.tar.xz 3.0MiB 235KiB/s 00:10 [############# ] 77.3%  gawk-5.0.1.tar.xz 3.0MiB 234KiB/s 00:10 [############## ] 79.4%  gawk-5.0.1.tar.xz 3.0MiB 234KiB/s 00:11 [############## ] 81.5%  gawk-5.0.1.tar.xz 3.0MiB 234KiB/s 00:11 [############### ] 83.6%  gawk-5.0.1.tar.xz 3.0MiB 232KiB/s 00:11 [############### ] 85.7%  gawk-5.0.1.tar.xz 3.0MiB 230KiB/s 00:12 [############### ] 87.8%  gawk-5.0.1.tar.xz 3.0MiB 227KiB/s 00:12 [################ ] 89.9%  gawk-5.0.1.tar.xz 3.0MiB 225KiB/s 00:13 [################ ] 92.0%  gawk-5.0.1.tar.xz 3.0MiB 225KiB/s 00:13 [################ ] 94.0%  gawk-5.0.1.tar.xz 3.0MiB 225KiB/s 00:13 [################# ] 96.1%  gawk-5.0.1.tar.xz 3.0MiB 225KiB/s 00:13 [################# ] 98.2%  gawk-5.0.1.tar.xz 3.0MiB 226KiB/s 00:14 [##################] 100.0%