Starting download of /gnu/store/80s1m4q2hnjfbqzw3fhywvsyim2b00cd-gcc-4.7.4.tar.bz2 From https://ftpmirror.gnu.org/gnu/gcc/gcc-4.7.4/gcc-4.7.4.tar.bz2... following redirection to `https://mirrors.sarata.com/gnu/gcc/gcc-4.7.4/gcc-4.7.4.tar.bz2'...  …4.tar.bz2 79.1MiB 0B/s 00:00 [ ] 0.0%  …4.tar.bz2 79.1MiB 386KiB/s 00:00 [ ] 0.1%  …4.tar.bz2 79.1MiB 1.0MiB/s 00:00 [ ] 0.5%  …4.tar.bz2 79.1MiB 1.9MiB/s 00:01 [ ] 1.3%  …4.tar.bz2 79.1MiB 2.4MiB/s 00:01 [ ] 2.4%  …4.tar.bz2 79.1MiB 2.7MiB/s 00:01 [ ] 3.4%  …4.tar.bz2 79.1MiB 2.9MiB/s 00:01 [ ] 4.4%  …4.tar.bz2 79.1MiB 3.1MiB/s 00:01 [ ] 5.5%  …4.tar.bz2 79.1MiB 3.2MiB/s 00:02 [# ] 6.5%  …4.tar.bz2 79.1MiB 3.0MiB/s 00:02 [# ] 7.0%  …4.tar.bz2 79.1MiB 3.3MiB/s 00:02 [# ] 8.6%  …4.tar.bz2 79.1MiB 3.4MiB/s 00:02 [# ] 9.6%  …4.tar.bz2 79.1MiB 3.4MiB/s 00:02 [# ] 10.7%  …4.tar.bz2 79.1MiB 3.4MiB/s 00:03 [## ] 11.7%  …4.tar.bz2 79.1MiB 3.5MiB/s 00:03 [## ] 12.7%  …4.tar.bz2 79.1MiB 3.5MiB/s 00:03 [## ] 13.7%  …4.tar.bz2 79.1MiB 3.5MiB/s 00:03 [## ] 14.8%  …4.tar.bz2 79.1MiB 3.5MiB/s 00:04 [## ] 15.8%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:04 [### ] 16.8%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:04 [### ] 17.9%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:04 [### ] 18.9%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:04 [### ] 19.9%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:05 [### ] 20.9%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:05 [### ] 22.0%  …4.tar.bz2 79.1MiB 3.6MiB/s 00:05 [#### ] 23.0%  …4.tar.bz2 79.1MiB 3.5MiB/s 00:05 [#### ] 23.9%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:06 [#### ] 25.6%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:06 [#### ] 26.6%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:06 [#### ] 27.7%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:06 [##### ] 28.7%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:06 [##### ] 29.7%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:07 [##### ] 30.7%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:07 [##### ] 31.8%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:07 [##### ] 32.8%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:07 [###### ] 33.8%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:07 [###### ] 34.8%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:08 [###### ] 35.9%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:08 [###### ] 36.9%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:08 [###### ] 37.9%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:08 [####### ] 39.0%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:08 [####### ] 40.0%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:09 [####### ] 41.0%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:09 [####### ] 42.0%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:09 [####### ] 43.1%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:09 [####### ] 44.1%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:10 [######## ] 45.1%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:10 [######## ] 46.1%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:10 [######## ] 47.2%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:10 [######## ] 48.2%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:10 [######## ] 49.2%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:11 [######### ] 50.3%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:11 [######### ] 51.3%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:11 [######### ] 52.3%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:11 [######### ] 53.3%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:11 [######### ] 54.4%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:12 [######### ] 55.4%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:12 [########## ] 56.4%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:12 [########## ] 57.4%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:12 [########## ] 58.5%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:13 [########## ] 59.5%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:13 [########## ] 60.5%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:13 [########### ] 61.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:13 [########### ] 62.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:13 [########### ] 63.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:14 [########### ] 64.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:14 [########### ] 65.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:14 [############ ] 66.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:14 [############ ] 67.6%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:14 [############ ] 68.4%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:15 [############ ] 69.6%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:15 [############ ] 70.4%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:15 [############ ] 71.4%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:15 [############# ] 72.4%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:16 [############# ] 73.4%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:16 [############# ] 74.4%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:16 [############# ] 75.5%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:16 [############# ] 76.5%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:16 [############# ] 77.5%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:17 [############## ] 78.5%  …4.tar.bz2 79.1MiB 3.7MiB/s 00:17 [############## ] 79.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:17 [############## ] 80.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:17 [############## ] 81.6%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:17 [############## ] 82.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:18 [############### ] 83.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:18 [############### ] 84.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:18 [############### ] 85.7%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:18 [############### ] 86.8%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:18 [############### ] 87.8%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:19 [############### ] 88.8%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:19 [################ ] 89.8%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:19 [################ ] 90.9%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:19 [################ ] 91.9%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:20 [################ ] 92.9%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:20 [################ ] 94.0%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:20 [################# ] 95.0%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:20 [################# ] 96.0%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:20 [################# ] 97.0%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:21 [################# ] 98.1%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:21 [################# ] 99.1%  …4.tar.bz2 79.1MiB 3.8MiB/s 00:21 [##################] 100.0%