Starting download of /gnu/store/r4s90vfqfvvyaszh4rb5dmw0n15gsp2g-gzochi-0.13.tar.gz From http://download.savannah.gnu.org/releases/gzochi/gzochi-0.13.tar.gz... following redirection to `http://download-mirror.savannah.gnu.org/releases/gzochi/gzochi-0.13.tar.gz'...  …13.tar.gz 2.9MiB 0B/s 00:00 [ ] 0.0%  …13.tar.gz 2.9MiB 340KiB/s 00:00 [ ] 2.2%  …13.tar.gz 2.9MiB 342KiB/s 00:01 [# ] 6.5%  …13.tar.gz 2.9MiB 453KiB/s 00:01 [## ] 13.0%  …13.tar.gz 2.9MiB 550KiB/s 00:01 [### ] 19.6%  …13.tar.gz 2.9MiB 507KiB/s 00:02 [#### ] 26.1%  …13.tar.gz 2.9MiB 455KiB/s 00:02 [##### ] 28.2%  …13.tar.gz 2.9MiB 433KiB/s 00:02 [##### ] 30.4%  …13.tar.gz 2.9MiB 349KiB/s 00:03 [##### ] 32.6%  …13.tar.gz 2.9MiB 294KiB/s 00:03 [###### ] 34.8%  …13.tar.gz 2.9MiB 263KiB/s 00:04 [###### ] 36.9%  …13.tar.gz 2.9MiB 255KiB/s 00:05 [####### ] 39.1%  …13.tar.gz 2.9MiB 244KiB/s 00:05 [####### ] 41.3%  …13.tar.gz 2.9MiB 235KiB/s 00:05 [####### ] 43.5%  …13.tar.gz 2.9MiB 228KiB/s 00:06 [######## ] 45.6%  …13.tar.gz 2.9MiB 224KiB/s 00:06 [######## ] 47.8%  …13.tar.gz 2.9MiB 217KiB/s 00:07 [######## ] 50.0%  …13.tar.gz 2.9MiB 212KiB/s 00:07 [######### ] 52.2%  …13.tar.gz 2.9MiB 205KiB/s 00:08 [######### ] 54.3%  …13.tar.gz 2.9MiB 202KiB/s 00:08 [########## ] 56.5%  …13.tar.gz 2.9MiB 198KiB/s 00:09 [########## ] 58.7%  …13.tar.gz 2.9MiB 194KiB/s 00:09 [########## ] 60.8%  …13.tar.gz 2.9MiB 192KiB/s 00:10 [########### ] 63.0%  …13.tar.gz 2.9MiB 190KiB/s 00:10 [########### ] 65.2%  …13.tar.gz 2.9MiB 189KiB/s 00:10 [############ ] 67.4%  …13.tar.gz 2.9MiB 189KiB/s 00:11 [############ ] 69.5%  …13.tar.gz 2.9MiB 189KiB/s 00:11 [############ ] 71.7%  …13.tar.gz 2.9MiB 189KiB/s 00:12 [############# ] 73.9%  …13.tar.gz 2.9MiB 190KiB/s 00:12 [############# ] 76.1%  …13.tar.gz 2.9MiB 191KiB/s 00:12 [############## ] 78.2%  …13.tar.gz 2.9MiB 190KiB/s 00:12 [############## ] 80.4%  …13.tar.gz 2.9MiB 190KiB/s 00:13 [############## ] 82.6%  …13.tar.gz 2.9MiB 188KiB/s 00:13 [############### ] 84.7%  …13.tar.gz 2.9MiB 187KiB/s 00:14 [############### ] 86.9%  …13.tar.gz 2.9MiB 187KiB/s 00:14 [################ ] 89.1%  …13.tar.gz 2.9MiB 187KiB/s 00:14 [################ ] 91.3%  …13.tar.gz 2.9MiB 187KiB/s 00:15 [################ ] 93.4%  …13.tar.gz 2.9MiB 187KiB/s 00:15 [################# ] 95.6%  …13.tar.gz 2.9MiB 186KiB/s 00:15 [################# ] 97.8%  …13.tar.gz 2.9MiB 187KiB/s 00:16 [################# ] 100.0%  …13.tar.gz 2.9MiB 187KiB/s 00:16 [##################] 100.0%