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 171KiB/s 00:00 [ ] 2.2%  …13.tar.gz 2.9MiB 195KiB/s 00:01 [ ] 4.3%  …13.tar.gz 2.9MiB 186KiB/s 00:01 [# ] 6.5%  …13.tar.gz 2.9MiB 197KiB/s 00:01 [# ] 8.7%  …13.tar.gz 2.9MiB 190KiB/s 00:02 [# ] 10.9%  …13.tar.gz 2.9MiB 187KiB/s 00:02 [## ] 13.0%  …13.tar.gz 2.9MiB 179KiB/s 00:03 [## ] 15.2%  …13.tar.gz 2.9MiB 182KiB/s 00:03 [### ] 17.4%  …13.tar.gz 2.9MiB 182KiB/s 00:03 [### ] 19.6%  …13.tar.gz 2.9MiB 185KiB/s 00:03 [### ] 21.7%  …13.tar.gz 2.9MiB 184KiB/s 00:04 [#### ] 23.9%  …13.tar.gz 2.9MiB 183KiB/s 00:04 [#### ] 26.1%  …13.tar.gz 2.9MiB 178KiB/s 00:05 [##### ] 28.2%  …13.tar.gz 2.9MiB 176KiB/s 00:05 [##### ] 30.4%  …13.tar.gz 2.9MiB 174KiB/s 00:06 [##### ] 32.6%  …13.tar.gz 2.9MiB 171KiB/s 00:06 [###### ] 34.8%  …13.tar.gz 2.9MiB 158KiB/s 00:07 [###### ] 36.9%  …13.tar.gz 2.9MiB 147KiB/s 00:08 [####### ] 39.1%  …13.tar.gz 2.9MiB 142KiB/s 00:09 [####### ] 41.3%  …13.tar.gz 2.9MiB 139KiB/s 00:09 [####### ] 43.5%  …13.tar.gz 2.9MiB 134KiB/s 00:10 [######## ] 45.6%  …13.tar.gz 2.9MiB 134KiB/s 00:10 [######## ] 47.8%  …13.tar.gz 2.9MiB 133KiB/s 00:11 [######## ] 50.0%  …13.tar.gz 2.9MiB 132KiB/s 00:12 [######### ] 52.2%  …13.tar.gz 2.9MiB 126KiB/s 00:13 [######### ] 54.3%  …13.tar.gz 2.9MiB 123KiB/s 00:14 [########## ] 56.5%  …13.tar.gz 2.9MiB 117KiB/s 00:15 [########## ] 58.7%  …13.tar.gz 2.9MiB 119KiB/s 00:15 [########## ] 60.8%  …13.tar.gz 2.9MiB 114KiB/s 00:16 [########### ] 63.0%  …13.tar.gz 2.9MiB 118KiB/s 00:17 [############ ] 67.4%  …13.tar.gz 2.9MiB 117KiB/s 00:17 [############ ] 69.5%  …13.tar.gz 2.9MiB 116KiB/s 00:18 [############ ] 71.7%  …13.tar.gz 2.9MiB 116KiB/s 00:19 [############# ] 73.9%  …13.tar.gz 2.9MiB 115KiB/s 00:19 [############# ] 76.1%  …13.tar.gz 2.9MiB 114KiB/s 00:20 [############## ] 78.2%  …13.tar.gz 2.9MiB 113KiB/s 00:21 [############## ] 80.4%  …13.tar.gz 2.9MiB 113KiB/s 00:21 [############## ] 82.6%  …13.tar.gz 2.9MiB 113KiB/s 00:22 [############### ] 84.7%  …13.tar.gz 2.9MiB 113KiB/s 00:23 [############### ] 86.9%  …13.tar.gz 2.9MiB 114KiB/s 00:23 [################ ] 89.1%  …13.tar.gz 2.9MiB 114KiB/s 00:24 [################ ] 91.3%  …13.tar.gz 2.9MiB 114KiB/s 00:24 [################ ] 93.4%  …13.tar.gz 2.9MiB 114KiB/s 00:25 [################# ] 95.6%  …13.tar.gz 2.9MiB 115KiB/s 00:25 [################# ] 97.8%  …13.tar.gz 2.9MiB 115KiB/s 00:26 [################# ] 100.0%  …13.tar.gz 2.9MiB 115KiB/s 00:26 [##################] 100.0%