Starting download of /gnu/store/ynwa5d9ghl29hwlxf1xckf12i52k6wy3-gmp-6.0.0a.tar.xz From https://ftpmirror.gnu.org/gnu/gmp/gmp-6.0.0a.tar.xz... In procedure connect: Network is unreachable Starting download of /gnu/store/ynwa5d9ghl29hwlxf1xckf12i52k6wy3-gmp-6.0.0a.tar.xz From ftp://ftp.cs.tu-berlin.de/pub/gnu/gmp/gmp-6.0.0a.tar.xz... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/ynwa5d9ghl29hwlxf1xckf12i52k6wy3-gmp-6.0.0a.tar.xz From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu/gmp/gmp-6.0.0a.tar.xz... In procedure connect: Network is unreachable Starting download of /gnu/store/ynwa5d9ghl29hwlxf1xckf12i52k6wy3-gmp-6.0.0a.tar.xz From http://ftp.gnu.org/pub/gnu/gmp/gmp-6.0.0a.tar.xz...  gmp-6.0.0a.tar.xz 1.8MiB 0B/s 00:00 [ ] 0.0%  gmp-6.0.0a.tar.xz 1.8MiB 171KiB/s 00:00 [ ] 3.4%  gmp-6.0.0a.tar.xz 1.8MiB 152KiB/s 00:01 [# ] 6.9%  gmp-6.0.0a.tar.xz 1.8MiB 117KiB/s 00:02 [# ] 10.3%  gmp-6.0.0a.tar.xz 1.8MiB 110KiB/s 00:02 [## ] 13.8%  gmp-6.0.0a.tar.xz 1.8MiB 115KiB/s 00:03 [### ] 17.2%  gmp-6.0.0a.tar.xz 1.8MiB 120KiB/s 00:03 [### ] 20.7%  gmp-6.0.0a.tar.xz 1.8MiB 125KiB/s 00:04 [#### ] 24.1%  gmp-6.0.0a.tar.xz 1.8MiB 133KiB/s 00:04 [#### ] 27.5%  gmp-6.0.0a.tar.xz 1.8MiB 141KiB/s 00:04 [##### ] 31.0%  gmp-6.0.0a.tar.xz 1.8MiB 146KiB/s 00:04 [###### ] 34.4%  gmp-6.0.0a.tar.xz 1.8MiB 150KiB/s 00:05 [###### ] 37.9%  gmp-6.0.0a.tar.xz 1.8MiB 150KiB/s 00:05 [####### ] 41.3%  gmp-6.0.0a.tar.xz 1.8MiB 147KiB/s 00:06 [######## ] 44.7%  gmp-6.0.0a.tar.xz 1.8MiB 146KiB/s 00:06 [######## ] 48.2%  gmp-6.0.0a.tar.xz 1.8MiB 147KiB/s 00:07 [######### ] 51.6%  gmp-6.0.0a.tar.xz 1.8MiB 149KiB/s 00:07 [######### ] 55.1%  gmp-6.0.0a.tar.xz 1.8MiB 151KiB/s 00:07 [########## ] 58.5%  gmp-6.0.0a.tar.xz 1.8MiB 153KiB/s 00:08 [########### ] 62.0%  gmp-6.0.0a.tar.xz 1.8MiB 154KiB/s 00:08 [########### ] 65.4%  gmp-6.0.0a.tar.xz 1.8MiB 155KiB/s 00:08 [############ ] 68.8%  gmp-6.0.0a.tar.xz 1.8MiB 157KiB/s 00:09 [############# ] 72.3%  gmp-6.0.0a.tar.xz 1.8MiB 157KiB/s 00:09 [############# ] 75.7%  gmp-6.0.0a.tar.xz 1.8MiB 158KiB/s 00:09 [############## ] 79.2%  gmp-6.0.0a.tar.xz 1.8MiB 157KiB/s 00:10 [############## ] 82.6%  gmp-6.0.0a.tar.xz 1.8MiB 156KiB/s 00:10 [############### ] 86.0%  gmp-6.0.0a.tar.xz 1.8MiB 157KiB/s 00:11 [################ ] 89.5%  gmp-6.0.0a.tar.xz 1.8MiB 158KiB/s 00:11 [################ ] 92.9%  gmp-6.0.0a.tar.xz 1.8MiB 160KiB/s 00:11 [################# ] 96.4%  gmp-6.0.0a.tar.xz 1.8MiB 159KiB/s 00:12 [################# ] 99.8%  gmp-6.0.0a.tar.xz 1.8MiB 159KiB/s 00:12 [##################] 100.0%