Starting download of /gnu/store/3zwrbhc8r0jmd7cfk7sqf5y608gj3zvw-gcc-8.5.0.tar.xz From https://ftpmirror.gnu.org/gnu/gcc/gcc-8.5.0/gcc-8.5.0.tar.xz... following redirection to `https://mirrors.ocf.berkeley.edu/gnu/gcc/gcc-8.5.0/gcc-8.5.0.tar.xz'...  …0.tar.xz 60.9MiB 0B/s 00:00 [ ] 0.0%  …0.tar.xz 60.9MiB 256KiB/s 00:00 [ ] 0.1%  …0.tar.xz 60.9MiB 348KiB/s 00:01 [ ] 0.3%  …0.tar.xz 60.9MiB 316KiB/s 00:01 [ ] 0.4%  …0.tar.xz 60.9MiB 283KiB/s 00:01 [ ] 0.5%  …0.tar.xz 60.9MiB 299KiB/s 00:02 [ ] 0.7%  …0.tar.xz 60.9MiB 320KiB/s 00:02 [ ] 0.9%  …0.tar.xz 60.9MiB 342KiB/s 00:02 [ ] 1.1%  …0.tar.xz 60.9MiB 364KiB/s 00:02 [ ] 1.3%  …0.tar.xz 60.9MiB 381KiB/s 00:03 [ ] 1.5%  …0.tar.xz 60.9MiB 398KiB/s 00:03 [ ] 1.7%  …0.tar.xz 60.9MiB 410KiB/s 00:03 [ ] 2.0%  …0.tar.xz 60.9MiB 422KiB/s 00:03 [ ] 2.2%  …0.tar.xz 60.9MiB 434KiB/s 00:03 [ ] 2.4%  …0.tar.xz 60.9MiB 426KiB/s 00:04 [ ] 2.5%  …0.tar.xz 60.9MiB 451KiB/s 00:04 [ ] 2.8%  …0.tar.xz 60.9MiB 445KiB/s 00:04 [ ] 3.0%  …0.tar.xz 60.9MiB 436KiB/s 00:04 [ ] 3.1%  …0.tar.xz 60.9MiB 500KiB/s 00:05 [ ] 3.7%  …0.tar.xz 60.9MiB 529KiB/s 00:05 [ ] 4.1%  …0.tar.xz 60.9MiB 533KiB/s 00:05 [ ] 4.4%  …0.tar.xz 60.9MiB 581KiB/s 00:05 [ ] 5.0%  …0.tar.xz 60.9MiB 580KiB/s 00:06 [ ] 5.2%  …0.tar.xz 60.9MiB 568KiB/s 00:06 [ ] 5.3%  …0.tar.xz 60.9MiB 609KiB/s 00:06 [# ] 6.1%  …0.tar.xz 60.9MiB 605KiB/s 00:07 [# ] 6.6%  …0.tar.xz 60.9MiB 604KiB/s 00:07 [# ] 6.9%  …0.tar.xz 60.9MiB 690KiB/s 00:08 [# ] 8.3%  …0.tar.xz 60.9MiB 730KiB/s 00:08 [# ] 9.1%  …0.tar.xz 60.9MiB 733KiB/s 00:08 [# ] 9.9%  …0.tar.xz 60.9MiB 779KiB/s 00:09 [# ] 10.8%  …0.tar.xz 60.9MiB 826KiB/s 00:09 [## ] 11.7%  …0.tar.xz 60.9MiB 821KiB/s 00:09 [## ] 11.9%  …0.tar.xz 60.9MiB 829KiB/s 00:09 [## ] 12.3%  …0.tar.xz 60.9MiB 834KiB/s 00:10 [## ] 12.7%  …0.tar.xz 60.9MiB 859KiB/s 00:10 [## ] 13.4%  …0.tar.xz 60.9MiB 838KiB/s 00:10 [## ] 13.7%  …0.tar.xz 60.9MiB 865KiB/s 00:10 [## ] 14.4%  …0.tar.xz 60.9MiB 854KiB/s 00:11 [## ] 14.7%  …0.tar.xz 60.9MiB 883KiB/s 00:11 [## ] 15.5%  …0.tar.xz 60.9MiB 886KiB/s 00:11 [## ] 15.9%  …0.tar.xz 60.9MiB 896KiB/s 00:11 [## ] 16.4%  …0.tar.xz 60.9MiB 912KiB/s 00:12 [### ] 17.0%  …0.tar.xz 60.9MiB 917KiB/s 00:12 [### ] 17.5%  …0.tar.xz 60.9MiB 911KiB/s 00:12 [### ] 17.8%  …0.tar.xz 60.9MiB 901KiB/s 00:12 [### ] 18.0%  …0.tar.xz 60.9MiB 911KiB/s 00:13 [### ] 18.8%  …0.tar.xz 60.9MiB 943KiB/s 00:13 [### ] 19.8%  …0.tar.xz 60.9MiB 927KiB/s 00:14 [### ] 20.2%  …0.tar.xz 60.9MiB 934KiB/s 00:14 [### ] 20.8%  …0.tar.xz 60.9MiB 927KiB/s 00:14 [### ] 21.1%  …0.tar.xz 60.9MiB 967KiB/s 00:14 [#### ] 22.4%  …0.tar.xz 60.9MiB 952KiB/s 00:15 [#### ] 22.7%  …0.tar.xz 60.9MiB 957KiB/s 00:15 [#### ] 23.2%  …0.tar.xz 60.9MiB 960KiB/s 00:15 [#### ] 23.8%  …0.tar.xz 60.9MiB 966KiB/s 00:16 [#### ] 24.5%  …0.tar.xz 60.9MiB 981KiB/s 00:16 [#### ] 25.5%  …0.tar.xz 60.9MiB 995KiB/s 00:16 [#### ] 26.2%  …0.tar.xz 60.9MiB 1000KiB/s 00:17 [#### ] 26.7%  …0.tar.xz 60.9MiB 996KiB/s 00:17 [#### ] 27.2%  …0.tar.xz 60.9MiB 1011KiB/s 00:17 [##### ] 28.0%  …0.tar.xz 60.9MiB 997KiB/s 00:18 [##### ] 28.3%  …0.tar.xz 60.9MiB 1020KiB/s 00:18 [##### ] 29.4%  …0.tar.xz 60.9MiB 1003KiB/s 00:18 [##### ] 29.5%  …0.tar.xz 60.9MiB 993KiB/s 00:19 [##### ] 29.8%  …0.tar.xz 60.9MiB 1005KiB/s 00:19 [##### ] 30.5%  …0.tar.xz 60.9MiB 1014KiB/s 00:19 [##### ] 31.2%  …0.tar.xz 60.9MiB 991KiB/s 00:20 [##### ] 31.3%  …0.tar.xz 60.9MiB 1003KiB/s 00:20 [##### ] 32.0%  …0.tar.xz 60.9MiB 990KiB/s 00:21 [##### ] 32.7%  …0.tar.xz 60.9MiB 994KiB/s 00:21 [###### ] 33.4%  …0.tar.xz 60.9MiB 1.0MiB/s 00:21 [###### ] 35.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:21 [###### ] 35.1%  …0.tar.xz 60.9MiB 1.0MiB/s 00:22 [###### ] 35.4%  …0.tar.xz 60.9MiB 1011KiB/s 00:22 [###### ] 35.6%  …0.tar.xz 60.9MiB 1001KiB/s 00:22 [###### ] 36.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:23 [###### ] 37.9%  …0.tar.xz 60.9MiB 1.0MiB/s 00:23 [###### ] 38.1%  …0.tar.xz 60.9MiB 1.0MiB/s 00:23 [###### ] 38.7%  …0.tar.xz 60.9MiB 1.0MiB/s 00:23 [####### ] 39.4%  …0.tar.xz 60.9MiB 1.0MiB/s 00:24 [####### ] 39.8%  …0.tar.xz 60.9MiB 1.0MiB/s 00:24 [####### ] 40.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:24 [####### ] 41.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:24 [####### ] 41.2%  …0.tar.xz 60.9MiB 1.0MiB/s 00:25 [####### ] 41.8%  …0.tar.xz 60.9MiB 1.0MiB/s 00:25 [####### ] 42.2%  …0.tar.xz 60.9MiB 1.0MiB/s 00:25 [####### ] 42.6%  …0.tar.xz 60.9MiB 1.0MiB/s 00:25 [####### ] 43.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:26 [####### ] 43.4%  …0.tar.xz 60.9MiB 1.0MiB/s 00:26 [####### ] 43.8%  …0.tar.xz 60.9MiB 1.0MiB/s 00:26 [####### ] 44.0%  …0.tar.xz 60.9MiB 1.0MiB/s 00:27 [######## ] 45.3%  …0.tar.xz 60.9MiB 1.0MiB/s 00:27 [######## ] 45.5%  …0.tar.xz 60.9MiB 1.0MiB/s 00:27 [######## ] 45.7%  …0.tar.xz 60.9MiB 1.0MiB/s 00:28 [######## ] 46.5%  …0.tar.xz 60.9MiB 1.0MiB/s 00:28 [######## ] 46.7%  …0.tar.xz 60.9MiB 1.0MiB/s 00:28 [######## ] 46.8%  …0.tar.xz 60.9MiB 1.0MiB/s 00:29 [######## ] 48.9%  …0.tar.xz 60.9MiB 1.0MiB/s 00:29 [######## ] 49.9%  …0.tar.xz 60.9MiB 1.0MiB/s 00:30 [######### ] 50.4%  …0.tar.xz 60.9MiB 1.0MiB/s 00:30 [######### ] 51.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:30 [######### ] 52.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:31 [######### ] 53.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:31 [######### ] 53.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:31 [######### ] 54.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:31 [######### ] 55.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:32 [######### ] 55.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:32 [########## ] 56.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:32 [########## ] 56.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:32 [########## ] 57.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:33 [########## ] 57.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:33 [########## ] 58.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:33 [########## ] 59.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:34 [########## ] 60.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:34 [########## ] 60.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:35 [########## ] 60.9%  …0.tar.xz 60.9MiB 1.1MiB/s 00:35 [########### ] 61.9%  …0.tar.xz 60.9MiB 1.1MiB/s 00:36 [########### ] 62.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:36 [########### ] 63.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:36 [########### ] 64.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:36 [########### ] 65.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:37 [########### ] 66.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:37 [########### ] 66.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:37 [############ ] 67.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:37 [############ ] 67.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:38 [############ ] 68.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:38 [############ ] 68.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:38 [############ ] 68.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:39 [############ ] 69.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:39 [############ ] 70.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:39 [############ ] 71.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:40 [############ ] 72.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:40 [############# ] 73.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:40 [############# ] 73.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:40 [############# ] 73.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:41 [############# ] 74.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:41 [############# ] 74.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:41 [############# ] 75.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:42 [############# ] 76.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:42 [############# ] 77.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:42 [############# ] 77.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:42 [############## ] 77.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:43 [############## ] 78.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:43 [############## ] 79.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:43 [############## ] 80.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:44 [############## ] 80.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:44 [############## ] 80.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:45 [############## ] 81.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:45 [############## ] 82.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:46 [############## ] 82.9%  …0.tar.xz 60.9MiB 1.1MiB/s 00:46 [############### ] 83.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:46 [############### ] 83.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:46 [############### ] 84.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:47 [############### ] 84.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:47 [############### ] 85.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:47 [############### ] 86.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:48 [############### ] 86.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:48 [############### ] 87.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:49 [############### ] 88.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:49 [################ ] 89.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:49 [################ ] 89.7%  …0.tar.xz 60.9MiB 1.1MiB/s 00:50 [################ ] 90.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:50 [################ ] 90.4%  …0.tar.xz 60.9MiB 1.1MiB/s 00:50 [################ ] 90.6%  …0.tar.xz 60.9MiB 1.1MiB/s 00:50 [################ ] 91.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:51 [################ ] 92.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:51 [################ ] 93.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:51 [################ ] 94.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:52 [################# ] 94.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:52 [################# ] 95.2%  …0.tar.xz 60.9MiB 1.1MiB/s 00:52 [################# ] 95.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:53 [################# ] 96.1%  …0.tar.xz 60.9MiB 1.1MiB/s 00:53 [################# ] 97.5%  …0.tar.xz 60.9MiB 1.1MiB/s 00:53 [################# ] 98.0%  …0.tar.xz 60.9MiB 1.1MiB/s 00:54 [################# ] 98.3%  …0.tar.xz 60.9MiB 1.1MiB/s 00:54 [################# ] 98.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:54 [################# ] 99.8%  …0.tar.xz 60.9MiB 1.1MiB/s 00:54 [################# ] 99.9%  …0.tar.xz 60.9MiB 1.1MiB/s 00:55 [##################] 100.0%