Starting download of /gnu/store/7h43y38kvlpldm2fncp39q5qhaks63by-poke-1.4.tar.gz From https://ftpmirror.gnu.org/gnu/poke/poke-1.4.tar.gz... following redirection to `https://mirrors.ocf.berkeley.edu/gnu/poke/poke-1.4.tar.gz'...  …4.tar.gz 6.4MiB 0B/s 00:00 [ ] 0.0%  …4.tar.gz 6.4MiB 87KiB/s 00:01 [ ] 1.0%  …4.tar.gz 6.4MiB 129KiB/s 00:01 [ ] 2.0%  …4.tar.gz 6.4MiB 131KiB/s 00:01 [ ] 2.9%  …4.tar.gz 6.4MiB 229KiB/s 00:02 [# ] 7.8%  …4.tar.gz 6.4MiB 284KiB/s 00:03 [## ] 11.7%  …4.tar.gz 6.4MiB 326KiB/s 00:03 [## ] 15.6%  …4.tar.gz 6.4MiB 300KiB/s 00:04 [## ] 16.6%  …4.tar.gz 6.4MiB 332KiB/s 00:04 [### ] 19.5%  …4.tar.gz 6.4MiB 320KiB/s 00:04 [### ] 20.5%  …4.tar.gz 6.4MiB 319KiB/s 00:04 [### ] 21.5%  …4.tar.gz 6.4MiB 318KiB/s 00:05 [#### ] 22.5%  …4.tar.gz 6.4MiB 306KiB/s 00:05 [#### ] 23.5%  …4.tar.gz 6.4MiB 301KiB/s 00:06 [#### ] 25.4%  …4.tar.gz 6.4MiB 326KiB/s 00:06 [##### ] 29.3%  …4.tar.gz 6.4MiB 325KiB/s 00:06 [##### ] 30.3%  …4.tar.gz 6.4MiB 299KiB/s 00:07 [##### ] 31.3%  …4.tar.gz 6.4MiB 321KiB/s 00:07 [###### ] 36.2%  …4.tar.gz 6.4MiB 302KiB/s 00:08 [###### ] 38.1%  …4.tar.gz 6.4MiB 317KiB/s 00:09 [####### ] 42.0%  …4.tar.gz 6.4MiB 315KiB/s 00:09 [####### ] 44.0%  …4.tar.gz 6.4MiB 321KiB/s 00:10 [######## ] 46.9%  …4.tar.gz 6.4MiB 321KiB/s 00:10 [######## ] 47.9%  …4.tar.gz 6.4MiB 326KiB/s 00:10 [######## ] 49.8%  …4.tar.gz 6.4MiB 320KiB/s 00:10 [######### ] 50.8%  …4.tar.gz 6.4MiB 300KiB/s 00:12 [######### ] 52.8%  …4.tar.gz 6.4MiB 306KiB/s 00:12 [########## ] 55.7%  …4.tar.gz 6.4MiB 308KiB/s 00:12 [########## ] 58.6%  …4.tar.gz 6.4MiB 309KiB/s 00:13 [########## ] 60.6%  …4.tar.gz 6.4MiB 301KiB/s 00:14 [########### ] 62.5%  …4.tar.gz 6.4MiB 302KiB/s 00:14 [########### ] 64.5%  …4.tar.gz 6.4MiB 307KiB/s 00:14 [############ ] 67.4%  …4.tar.gz 6.4MiB 307KiB/s 00:15 [############ ] 69.4%  …4.tar.gz 6.4MiB 304KiB/s 00:15 [############ ] 70.4%  …4.tar.gz 6.4MiB 302KiB/s 00:15 [############ ] 71.3%  …4.tar.gz 6.4MiB 296KiB/s 00:16 [############# ] 72.3%  …4.tar.gz 6.4MiB 288KiB/s 00:17 [############# ] 75.3%  …4.tar.gz 6.4MiB 294KiB/s 00:18 [############## ] 80.1%  …4.tar.gz 6.4MiB 292KiB/s 00:18 [############## ] 81.1%  …4.tar.gz 6.4MiB 290KiB/s 00:19 [############## ] 83.1%  …4.tar.gz 6.4MiB 287KiB/s 00:19 [############### ] 84.0%  …4.tar.gz 6.4MiB 294KiB/s 00:19 [############### ] 87.0%  …4.tar.gz 6.4MiB 294KiB/s 00:20 [############### ] 88.0%  …4.tar.gz 6.4MiB 284KiB/s 00:20 [################ ] 88.9%  …4.tar.gz 6.4MiB 290KiB/s 00:21 [################ ] 92.8%  …4.tar.gz 6.4MiB 283KiB/s 00:22 [################# ] 94.8%  …4.tar.gz 6.4MiB 284KiB/s 00:22 [################# ] 96.8%  …4.tar.gz 6.4MiB 287KiB/s 00:23 [################# ] 98.7%  …4.tar.gz 6.4MiB 284KiB/s 00:23 [################# ] 99.7%  …4.tar.gz 6.4MiB 284KiB/s 00:23 [##################] 100.0%