Starting download of /gnu/store/ckcqx6zksafv9m3kv9al17dpd6nj6p8h-gcc-7.5.0.tar.xz From https://ftpmirror.gnu.org/gnu/gcc/gcc-7.5.0/gcc-7.5.0.tar.xz... following redirection to `https://gnu.mirror.constant.com/gcc/gcc-7.5.0/gcc-7.5.0.tar.xz'...  …0.tar.xz 59.9MiB 0B/s 00:00 [ ] 0.0%  …0.tar.xz 59.9MiB 381KiB/s 00:00 [ ] 0.1%  …0.tar.xz 59.9MiB 1.1MiB/s 00:00 [ ] 0.7%  …0.tar.xz 59.9MiB 1.2MiB/s 00:01 [ ] 1.4%  …0.tar.xz 59.9MiB 1.4MiB/s 00:01 [ ] 2.7%  …0.tar.xz 59.9MiB 2.3MiB/s 00:01 [ ] 5.0%  …0.tar.xz 59.9MiB 2.5MiB/s 00:02 [# ] 6.4%  …0.tar.xz 59.9MiB 2.5MiB/s 00:02 [# ] 7.4%  …0.tar.xz 59.9MiB 2.6MiB/s 00:02 [# ] 8.6%  …0.tar.xz 59.9MiB 2.7MiB/s 00:02 [# ] 9.7%  …0.tar.xz 59.9MiB 2.7MiB/s 00:02 [# ] 10.9%  …0.tar.xz 59.9MiB 2.8MiB/s 00:03 [## ] 12.0%  …0.tar.xz 59.9MiB 2.7MiB/s 00:03 [## ] 12.9%  …0.tar.xz 59.9MiB 2.8MiB/s 00:03 [## ] 14.7%  …0.tar.xz 59.9MiB 2.8MiB/s 00:03 [## ] 15.8%  …0.tar.xz 59.9MiB 2.7MiB/s 00:04 [## ] 16.2%  …0.tar.xz 59.9MiB 2.9MiB/s 00:04 [### ] 18.1%  …0.tar.xz 59.9MiB 2.8MiB/s 00:04 [### ] 18.9%  …0.tar.xz 59.9MiB 2.9MiB/s 00:04 [### ] 20.9%  …0.tar.xz 59.9MiB 3.0MiB/s 00:04 [### ] 22.0%  …0.tar.xz 59.9MiB 3.0MiB/s 00:05 [#### ] 23.2%  …0.tar.xz 59.9MiB 3.0MiB/s 00:05 [#### ] 24.3%  …0.tar.xz 59.9MiB 3.0MiB/s 00:05 [#### ] 25.5%  …0.tar.xz 59.9MiB 3.0MiB/s 00:05 [#### ] 26.6%  …0.tar.xz 59.9MiB 3.0MiB/s 00:05 [#### ] 27.8%  …0.tar.xz 59.9MiB 3.0MiB/s 00:06 [##### ] 28.9%  …0.tar.xz 59.9MiB 3.1MiB/s 00:06 [##### ] 30.2%  …0.tar.xz 59.9MiB 3.1MiB/s 00:06 [##### ] 31.4%  …0.tar.xz 59.9MiB 3.1MiB/s 00:06 [##### ] 32.7%  …0.tar.xz 59.9MiB 3.1MiB/s 00:07 [###### ] 33.9%  …0.tar.xz 59.9MiB 3.1MiB/s 00:07 [###### ] 35.2%  …0.tar.xz 59.9MiB 3.1MiB/s 00:07 [###### ] 36.4%  …0.tar.xz 59.9MiB 3.2MiB/s 00:07 [###### ] 37.7%  …0.tar.xz 59.9MiB 3.1MiB/s 00:07 [###### ] 38.6%  …0.tar.xz 59.9MiB 3.2MiB/s 00:08 [####### ] 40.7%  …0.tar.xz 59.9MiB 3.2MiB/s 00:08 [####### ] 42.0%  …0.tar.xz 59.9MiB 3.2MiB/s 00:08 [####### ] 43.2%  …0.tar.xz 59.9MiB 3.2MiB/s 00:08 [######## ] 44.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:08 [######## ] 45.7%  …0.tar.xz 59.9MiB 3.2MiB/s 00:09 [######## ] 46.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:09 [######## ] 48.4%  …0.tar.xz 59.9MiB 3.3MiB/s 00:09 [######## ] 49.7%  …0.tar.xz 59.9MiB 3.2MiB/s 00:09 [######### ] 50.2%  …0.tar.xz 59.9MiB 3.2MiB/s 00:10 [######### ] 52.1%  …0.tar.xz 59.9MiB 3.2MiB/s 00:10 [######### ] 53.3%  …0.tar.xz 59.9MiB 3.3MiB/s 00:10 [######### ] 55.4%  …0.tar.xz 59.9MiB 3.2MiB/s 00:10 [########## ] 55.6%  …0.tar.xz 59.9MiB 3.2MiB/s 00:11 [########## ] 56.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:11 [########## ] 57.6%  …0.tar.xz 59.9MiB 3.2MiB/s 00:11 [########## ] 58.8%  …0.tar.xz 59.9MiB 3.2MiB/s 00:11 [########## ] 59.4%  …0.tar.xz 59.9MiB 3.2MiB/s 00:11 [########## ] 60.9%  …0.tar.xz 59.9MiB 3.2MiB/s 00:12 [########### ] 62.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:12 [########### ] 63.8%  …0.tar.xz 59.9MiB 3.2MiB/s 00:12 [########### ] 64.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:12 [########### ] 66.5%  …0.tar.xz 59.9MiB 3.2MiB/s 00:13 [############ ] 67.7%  …0.tar.xz 59.9MiB 3.2MiB/s 00:13 [############ ] 68.6%  …0.tar.xz 59.9MiB 3.2MiB/s 00:13 [############ ] 70.6%  …0.tar.xz 59.9MiB 3.2MiB/s 00:13 [############ ] 71.8%  …0.tar.xz 59.9MiB 3.2MiB/s 00:13 [############# ] 72.3%  …0.tar.xz 59.9MiB 3.3MiB/s 00:14 [############# ] 74.4%  …0.tar.xz 59.9MiB 3.3MiB/s 00:14 [############# ] 75.7%  …0.tar.xz 59.9MiB 3.2MiB/s 00:14 [############# ] 76.2%  …0.tar.xz 59.9MiB 3.3MiB/s 00:14 [############## ] 78.2%  …0.tar.xz 59.9MiB 3.3MiB/s 00:15 [############## ] 79.4%  …0.tar.xz 59.9MiB 3.2MiB/s 00:15 [############## ] 80.1%  …0.tar.xz 59.9MiB 3.3MiB/s 00:15 [############## ] 82.2%  …0.tar.xz 59.9MiB 3.3MiB/s 00:15 [############### ] 83.4%  …0.tar.xz 59.9MiB 3.3MiB/s 00:15 [############### ] 84.0%  …0.tar.xz 59.9MiB 3.3MiB/s 00:16 [############### ] 86.0%  …0.tar.xz 59.9MiB 3.3MiB/s 00:16 [############### ] 87.3%  …0.tar.xz 59.9MiB 3.3MiB/s 00:16 [############### ] 87.8%  …0.tar.xz 59.9MiB 3.3MiB/s 00:16 [################ ] 89.8%  …0.tar.xz 59.9MiB 3.3MiB/s 00:16 [################ ] 91.0%  …0.tar.xz 59.9MiB 3.3MiB/s 00:17 [################ ] 91.6%  …0.tar.xz 59.9MiB 3.3MiB/s 00:17 [################ ] 93.6%  …0.tar.xz 59.9MiB 3.3MiB/s 00:17 [################# ] 94.9%  …0.tar.xz 59.9MiB 3.3MiB/s 00:17 [################# ] 97.0%  …0.tar.xz 59.9MiB 3.3MiB/s 00:18 [################# ] 98.2%  …0.tar.xz 59.9MiB 3.3MiB/s 00:18 [################# ] 99.0%  …0.tar.xz 59.9MiB 3.3MiB/s 00:18 [##################] 100.0%