Starting download of /gnu/store/asn84gyzn5sj8flvw87b3q0q4fbjrk87-tcl8.6.11-src.tar.gz From http://downloads.sourceforge.net/project/tcl/Tcl/8.6.11/tcl8.6.11-src.tar.gz... following redirection to `http://deac-ams.dl.sourceforge.net/project/tcl/Tcl/8.6.11/tcl8.6.11-src.tar.gz'...  …src.tar.gz 9.8MiB 0B/s 00:00 [ ] 0.0%  …src.tar.gz 9.8MiB 797KiB/s 00:00 [ ] 0.6%  …src.tar.gz 9.8MiB 1.0MiB/s 00:00 [ ] 3.2%  …src.tar.gz 9.8MiB 1.1MiB/s 00:01 [# ] 5.7%  …src.tar.gz 9.8MiB 1.1MiB/s 00:01 [# ] 8.3%  …src.tar.gz 9.8MiB 1.2MiB/s 00:01 [# ] 10.9%  …src.tar.gz 9.8MiB 1.2MiB/s 00:01 [## ] 13.4%  …src.tar.gz 9.8MiB 1.2MiB/s 00:01 [## ] 16.0%  …src.tar.gz 9.8MiB 1.2MiB/s 00:02 [### ] 18.5%  …src.tar.gz 9.8MiB 1.2MiB/s 00:02 [### ] 21.1%  …src.tar.gz 9.8MiB 1.2MiB/s 00:02 [#### ] 23.6%  …src.tar.gz 9.8MiB 1.2MiB/s 00:02 [#### ] 26.2%  …src.tar.gz 9.8MiB 1.2MiB/s 00:02 [##### ] 28.7%  …src.tar.gz 9.8MiB 1.2MiB/s 00:03 [##### ] 31.3%  …src.tar.gz 9.8MiB 1.2MiB/s 00:03 [###### ] 33.9%  …src.tar.gz 9.8MiB 1.2MiB/s 00:03 [###### ] 36.4%  …src.tar.gz 9.8MiB 1.2MiB/s 00:03 [####### ] 39.0%  …src.tar.gz 9.8MiB 1.2MiB/s 00:03 [####### ] 41.5%  …src.tar.gz 9.8MiB 1.2MiB/s 00:04 [####### ] 44.1%  …src.tar.gz 9.8MiB 1.2MiB/s 00:04 [######## ] 46.6%  …src.tar.gz 9.8MiB 1.2MiB/s 00:04 [######## ] 49.2%  …src.tar.gz 9.8MiB 1.2MiB/s 00:04 [######### ] 51.7%  …src.tar.gz 9.8MiB 1.2MiB/s 00:05 [######### ] 54.3%  …src.tar.gz 9.8MiB 1.1MiB/s 00:05 [######### ] 54.9%  …src.tar.gz 9.8MiB 1.2MiB/s 00:05 [########## ] 59.4%  …src.tar.gz 9.8MiB 1.2MiB/s 00:05 [########### ] 62.0%  …src.tar.gz 9.8MiB 1.2MiB/s 00:05 [########### ] 64.5%  …src.tar.gz 9.8MiB 1.2MiB/s 00:06 [############ ] 67.1%  …src.tar.gz 9.8MiB 1.2MiB/s 00:06 [############ ] 69.6%  …src.tar.gz 9.8MiB 1.2MiB/s 00:06 [############ ] 72.2%  …src.tar.gz 9.8MiB 1.2MiB/s 00:06 [############# ] 74.7%  …src.tar.gz 9.8MiB 1.2MiB/s 00:06 [############# ] 77.3%  …src.tar.gz 9.8MiB 1.2MiB/s 00:07 [############## ] 79.2%  …src.tar.gz 9.8MiB 1.2MiB/s 00:07 [############## ] 82.4%  …src.tar.gz 9.8MiB 1.2MiB/s 00:07 [############### ] 85.0%  …src.tar.gz 9.8MiB 1.2MiB/s 00:07 [############### ] 87.5%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [################ ] 90.1%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [################ ] 92.6%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [################# ] 95.2%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [################# ] 97.7%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [##################] 100.0%  …src.tar.gz 9.8MiB 1.2MiB/s 00:08 [##################] 100.0%