Starting download of /gnu/store/ijzn187kg98faqhlczy2jm09l1pw6hdj-gcc-7.4.0.tar.xz From https://ftpmirror.gnu.org/gnu/gcc/gcc-7.4.0/gcc-7.4.0.tar.xz... following redirection to `https://mirrors.ocf.berkeley.edu/gnu/gcc/gcc-7.4.0/gcc-7.4.0.tar.xz'...  …0.tar.xz 59.7MiB 0B/s 00:00 [ ] 0.0%  …0.tar.xz 59.7MiB 143KiB/s 00:00 [ ] 0.1%  …0.tar.xz 59.7MiB 239KiB/s 00:01 [ ] 0.3%  …0.tar.xz 59.7MiB 293KiB/s 00:01 [ ] 0.5%  …0.tar.xz 59.7MiB 543KiB/s 00:01 [ ] 1.2%  …0.tar.xz 59.7MiB 668KiB/s 00:02 [ ] 1.7%  …0.tar.xz 59.7MiB 734KiB/s 00:02 [ ] 2.1%  …0.tar.xz 59.7MiB 772KiB/s 00:02 [ ] 2.5%  …0.tar.xz 59.7MiB 787KiB/s 00:02 [ ] 2.8%  …0.tar.xz 59.7MiB 683KiB/s 00:03 [ ] 3.0%  …0.tar.xz 59.7MiB 779KiB/s 00:03 [ ] 3.9%  …0.tar.xz 59.7MiB 819KiB/s 00:03 [ ] 4.5%  …0.tar.xz 59.7MiB 761KiB/s 00:04 [ ] 4.6%  …0.tar.xz 59.7MiB 833KiB/s 00:04 [ ] 5.3%  …0.tar.xz 59.7MiB 805KiB/s 00:04 [ ] 5.4%  …0.tar.xz 59.7MiB 849KiB/s 00:05 [# ] 6.3%  …0.tar.xz 59.7MiB 857KiB/s 00:05 [# ] 6.7%  …0.tar.xz 59.7MiB 889KiB/s 00:05 [# ] 7.3%  …0.tar.xz 59.7MiB 893KiB/s 00:05 [# ] 7.7%  …0.tar.xz 59.7MiB 833KiB/s 00:06 [# ] 7.9%  …0.tar.xz 59.7MiB 865KiB/s 00:06 [# ] 8.7%  …0.tar.xz 59.7MiB 840KiB/s 00:06 [# ] 8.8%  …0.tar.xz 59.7MiB 858KiB/s 00:07 [# ] 9.4%  …0.tar.xz 59.7MiB 902KiB/s 00:07 [# ] 10.3%  …0.tar.xz 59.7MiB 876KiB/s 00:07 [# ] 10.5%  …0.tar.xz 59.7MiB 904KiB/s 00:08 [# ] 11.1%  …0.tar.xz 59.7MiB 881KiB/s 00:08 [## ] 11.2%  …0.tar.xz 59.7MiB 850KiB/s 00:08 [## ] 11.4%  …0.tar.xz 59.7MiB 887KiB/s 00:08 [## ] 12.2%  …0.tar.xz 59.7MiB 903KiB/s 00:09 [## ] 12.8%  …0.tar.xz 59.7MiB 904KiB/s 00:09 [## ] 13.1%  …0.tar.xz 59.7MiB 888KiB/s 00:09 [## ] 13.3%  …0.tar.xz 59.7MiB 857KiB/s 00:10 [## ] 13.4%  …0.tar.xz 59.7MiB 862KiB/s 00:10 [## ] 13.9%  …0.tar.xz 59.7MiB 861KiB/s 00:10 [## ] 14.3%  …0.tar.xz 59.7MiB 880KiB/s 00:10 [## ] 15.0%  …0.tar.xz 59.7MiB 880KiB/s 00:11 [## ] 15.3%  …0.tar.xz 59.7MiB 867KiB/s 00:11 [## ] 15.5%  …0.tar.xz 59.7MiB 878KiB/s 00:11 [## ] 16.0%  …0.tar.xz 59.7MiB 846KiB/s 00:12 [## ] 16.3%  …0.tar.xz 59.7MiB 833KiB/s 00:12 [## ] 16.4%  …0.tar.xz 59.7MiB 845KiB/s 00:12 [### ] 17.0%  …0.tar.xz 59.7MiB 846KiB/s 00:12 [### ] 17.3%  …0.tar.xz 59.7MiB 846KiB/s 00:13 [### ] 17.6%  …0.tar.xz 59.7MiB 846KiB/s 00:13 [### ] 17.9%  …0.tar.xz 59.7MiB 846KiB/s 00:13 [### ] 18.2%  …0.tar.xz 59.7MiB 847KiB/s 00:13 [### ] 18.5%  …0.tar.xz 59.7MiB 835KiB/s 00:14 [### ] 18.6%  …0.tar.xz 59.7MiB 837KiB/s 00:14 [### ] 19.3%  …0.tar.xz 59.7MiB 826KiB/s 00:14 [### ] 19.4%  …0.tar.xz 59.7MiB 852KiB/s 00:15 [### ] 20.3%  …0.tar.xz 59.7MiB 841KiB/s 00:15 [### ] 20.5%  …0.tar.xz 59.7MiB 831KiB/s 00:15 [### ] 20.6%  …0.tar.xz 59.7MiB 842KiB/s 00:16 [### ] 21.4%  …0.tar.xz 59.7MiB 854KiB/s 00:16 [### ] 22.0%  …0.tar.xz 59.7MiB 855KiB/s 00:16 [#### ] 22.4%  …0.tar.xz 59.7MiB 855KiB/s 00:16 [#### ] 22.7%  …0.tar.xz 59.7MiB 856KiB/s 00:16 [#### ] 23.0%  …0.tar.xz 59.7MiB 847KiB/s 00:17 [#### ] 23.2%  …0.tar.xz 59.7MiB 841KiB/s 00:17 [#### ] 23.6%  …0.tar.xz 59.7MiB 826KiB/s 00:18 [#### ] 23.7%  …0.tar.xz 59.7MiB 824KiB/s 00:18 [#### ] 24.1%  …0.tar.xz 59.7MiB 857KiB/s 00:18 [#### ] 25.3%  …0.tar.xz 59.7MiB 851KiB/s 00:18 [#### ] 25.5%  …0.tar.xz 59.7MiB 849KiB/s 00:19 [#### ] 26.1%  …0.tar.xz 59.7MiB 833KiB/s 00:19 [#### ] 26.2%  …0.tar.xz 59.7MiB 850KiB/s 00:20 [#### ] 27.1%  …0.tar.xz 59.7MiB 858KiB/s 00:20 [#### ] 27.6%  …0.tar.xz 59.7MiB 857KiB/s 00:20 [##### ] 28.0%  …0.tar.xz 59.7MiB 849KiB/s 00:20 [##### ] 28.3%  …0.tar.xz 59.7MiB 842KiB/s 00:21 [##### ] 28.5%  …0.tar.xz 59.7MiB 837KiB/s 00:21 [##### ] 28.8%  …0.tar.xz 59.7MiB 819KiB/s 00:22 [##### ] 29.1%  …0.tar.xz 59.7MiB 820KiB/s 00:23 [##### ] 30.4%  …0.tar.xz 59.7MiB 806KiB/s 00:23 [##### ] 30.5%  …0.tar.xz 59.7MiB 801KiB/s 00:23 [##### ] 30.6%  …0.tar.xz 59.7MiB 802KiB/s 00:24 [##### ] 30.9%  …0.tar.xz 59.7MiB 816KiB/s 00:24 [##### ] 31.7%  …0.tar.xz 59.7MiB 816KiB/s 00:24 [##### ] 32.0%  …0.tar.xz 59.7MiB 816KiB/s 00:24 [##### ] 32.6%  …0.tar.xz 59.7MiB 800KiB/s 00:25 [##### ] 33.2%  …0.tar.xz 59.7MiB 807KiB/s 00:26 [###### ] 34.2%  …0.tar.xz 59.7MiB 817KiB/s 00:26 [###### ] 35.0%  …0.tar.xz 59.7MiB 818KiB/s 00:26 [###### ] 35.3%  …0.tar.xz 59.7MiB 818KiB/s 00:27 [###### ] 35.6%  …0.tar.xz 59.7MiB 812KiB/s 00:27 [###### ] 35.7%  …0.tar.xz 59.7MiB 819KiB/s 00:27 [###### ] 36.3%  …0.tar.xz 59.7MiB 814KiB/s 00:28 [###### ] 36.6%  …0.tar.xz 59.7MiB 812KiB/s 00:28 [###### ] 36.8%  …0.tar.xz 59.7MiB 816KiB/s 00:28 [###### ] 37.4%  …0.tar.xz 59.7MiB 809KiB/s 00:28 [###### ] 37.7%  …0.tar.xz 59.7MiB 799KiB/s 00:29 [###### ] 38.0%  …0.tar.xz 59.7MiB 797KiB/s 00:30 [###### ] 38.5%  …0.tar.xz 59.7MiB 804KiB/s 00:30 [####### ] 39.5%  …0.tar.xz 59.7MiB 809KiB/s 00:30 [####### ] 40.0%  …0.tar.xz 59.7MiB 809KiB/s 00:30 [####### ] 40.3%  …0.tar.xz 59.7MiB 809KiB/s 00:31 [####### ] 40.6%  …0.tar.xz 59.7MiB 810KiB/s 00:31 [####### ] 40.9%  …0.tar.xz 59.7MiB 799KiB/s 00:31 [####### ] 41.1%  …0.tar.xz 59.7MiB 810KiB/s 00:32 [####### ] 42.0%  …0.tar.xz 59.7MiB 810KiB/s 00:32 [####### ] 42.3%  …0.tar.xz 59.7MiB 807KiB/s 00:32 [####### ] 42.5%  …0.tar.xz 59.7MiB 793KiB/s 00:33 [####### ] 43.1%  …0.tar.xz 59.7MiB 803KiB/s 00:34 [####### ] 44.1%  …0.tar.xz 59.7MiB 807KiB/s 00:34 [######## ] 44.7%  …0.tar.xz 59.7MiB 803KiB/s 00:34 [######## ] 44.9%  …0.tar.xz 59.7MiB 815KiB/s 00:34 [######## ] 45.9%  …0.tar.xz 59.7MiB 815KiB/s 00:35 [######## ] 46.3%  …0.tar.xz 59.7MiB 806KiB/s 00:35 [######## ] 46.5%  …0.tar.xz 59.7MiB 797KiB/s 00:36 [######## ] 46.6%  …0.tar.xz 59.7MiB 802KiB/s 00:37 [######## ] 48.1%  …0.tar.xz 59.7MiB 803KiB/s 00:37 [######## ] 48.7%  …0.tar.xz 59.7MiB 818KiB/s 00:37 [######## ] 49.9%  …0.tar.xz 59.7MiB 798KiB/s 00:38 [######### ] 50.0%  …0.tar.xz 59.7MiB 799KiB/s 00:39 [######### ] 50.6%  …0.tar.xz 59.7MiB 795KiB/s 00:39 [######### ] 50.7%  …0.tar.xz 59.7MiB 810KiB/s 00:39 [######### ] 51.9%  …0.tar.xz 59.7MiB 812KiB/s 00:39 [######### ] 52.3%  …0.tar.xz 59.7MiB 813KiB/s 00:40 [######### ] 52.8%  …0.tar.xz 59.7MiB 806KiB/s 00:40 [######### ] 53.1%  …0.tar.xz 59.7MiB 807KiB/s 00:41 [######### ] 53.5%  …0.tar.xz 59.7MiB 813KiB/s 00:41 [######### ] 54.1%  …0.tar.xz 59.7MiB 818KiB/s 00:41 [######### ] 54.8%  …0.tar.xz 59.7MiB 819KiB/s 00:41 [######### ] 55.2%  …0.tar.xz 59.7MiB 819KiB/s 00:41 [######### ] 55.5%  …0.tar.xz 59.7MiB 821KiB/s 00:42 [########## ] 55.9%  …0.tar.xz 59.7MiB 822KiB/s 00:42 [########## ] 56.3%  …0.tar.xz 59.7MiB 823KiB/s 00:42 [########## ] 56.6%  …0.tar.xz 59.7MiB 813KiB/s 00:43 [########## ] 56.8%  …0.tar.xz 59.7MiB 825KiB/s 00:43 [########## ] 58.0%  …0.tar.xz 59.7MiB 826KiB/s 00:43 [########## ] 58.4%  …0.tar.xz 59.7MiB 827KiB/s 00:43 [########## ] 58.8%  …0.tar.xz 59.7MiB 828KiB/s 00:44 [########## ] 59.1%  …0.tar.xz 59.7MiB 825KiB/s 00:44 [########## ] 59.6%  …0.tar.xz 59.7MiB 822KiB/s 00:44 [########## ] 59.7%  …0.tar.xz 59.7MiB 829KiB/s 00:45 [########## ] 60.5%  …0.tar.xz 59.7MiB 826KiB/s 00:45 [########## ] 60.6%  …0.tar.xz 59.7MiB 830KiB/s 00:45 [########### ] 61.2%  …0.tar.xz 59.7MiB 828KiB/s 00:46 [########### ] 61.7%  …0.tar.xz 59.7MiB 829KiB/s 00:46 [########### ] 62.3%  …0.tar.xz 59.7MiB 830KiB/s 00:46 [########### ] 62.7%  …0.tar.xz 59.7MiB 834KiB/s 00:46 [########### ] 63.3%  …0.tar.xz 59.7MiB 834KiB/s 00:47 [########### ] 63.6%  …0.tar.xz 59.7MiB 835KiB/s 00:47 [########### ] 64.1%  …0.tar.xz 59.7MiB 832KiB/s 00:47 [########### ] 64.4%  …0.tar.xz 59.7MiB 833KiB/s 00:48 [########### ] 64.8%  …0.tar.xz 59.7MiB 836KiB/s 00:48 [########### ] 65.3%  …0.tar.xz 59.7MiB 836KiB/s 00:48 [########### ] 65.6%  …0.tar.xz 59.7MiB 830KiB/s 00:49 [########### ] 66.1%  …0.tar.xz 59.7MiB 833KiB/s 00:49 [########### ] 66.6%  …0.tar.xz 59.7MiB 834KiB/s 00:49 [############ ] 67.1%  …0.tar.xz 59.7MiB 824KiB/s 00:50 [############ ] 67.2%  …0.tar.xz 59.7MiB 840KiB/s 00:50 [############ ] 68.9%  …0.tar.xz 59.7MiB 837KiB/s 00:50 [############ ] 69.0%  …0.tar.xz 59.7MiB 835KiB/s 00:51 [############ ] 69.4%  …0.tar.xz 59.7MiB 835KiB/s 00:51 [############ ] 70.2%  …0.tar.xz 59.7MiB 834KiB/s 00:52 [############ ] 70.5%  …0.tar.xz 59.7MiB 843KiB/s 00:52 [############ ] 71.6%  …0.tar.xz 59.7MiB 844KiB/s 00:52 [############ ] 72.0%  …0.tar.xz 59.7MiB 838KiB/s 00:53 [############# ] 72.3%  …0.tar.xz 59.7MiB 835KiB/s 00:53 [############# ] 72.8%  …0.tar.xz 59.7MiB 845KiB/s 00:54 [############# ] 74.0%  …0.tar.xz 59.7MiB 846KiB/s 00:54 [############# ] 74.4%  …0.tar.xz 59.7MiB 847KiB/s 00:54 [############# ] 74.9%  …0.tar.xz 59.7MiB 848KiB/s 00:54 [############# ] 75.3%  …0.tar.xz 59.7MiB 849KiB/s 00:55 [############# ] 75.7%  …0.tar.xz 59.7MiB 849KiB/s 00:55 [############# ] 76.0%  …0.tar.xz 59.7MiB 846KiB/s 00:55 [############# ] 76.1%  …0.tar.xz 59.7MiB 847KiB/s 00:55 [############# ] 76.5%  …0.tar.xz 59.7MiB 851KiB/s 00:55 [############# ] 77.2%  …0.tar.xz 59.7MiB 851KiB/s 00:56 [############# ] 77.5%  …0.tar.xz 59.7MiB 851KiB/s 00:56 [############## ] 77.8%  …0.tar.xz 59.7MiB 848KiB/s 00:56 [############## ] 77.9%  …0.tar.xz 59.7MiB 849KiB/s 00:56 [############## ] 78.3%  …0.tar.xz 59.7MiB 851KiB/s 00:57 [############## ] 78.9%  …0.tar.xz 59.7MiB 852KiB/s 00:57 [############## ] 79.2%  …0.tar.xz 59.7MiB 852KiB/s 00:57 [############## ] 79.6%  …0.tar.xz 59.7MiB 852KiB/s 00:57 [############## ] 79.9%  …0.tar.xz 59.7MiB 851KiB/s 00:58 [############## ] 80.1%  …0.tar.xz 59.7MiB 851KiB/s 00:58 [############## ] 80.4%  …0.tar.xz 59.7MiB 854KiB/s 00:58 [############## ] 81.0%  …0.tar.xz 59.7MiB 854KiB/s 00:58 [############## ] 81.3%  …0.tar.xz 59.7MiB 852KiB/s 00:58 [############## ] 81.4%  …0.tar.xz 59.7MiB 852KiB/s 00:59 [############## ] 81.8%  …0.tar.xz 59.7MiB 851KiB/s 00:59 [############## ] 82.1%  …0.tar.xz 59.7MiB 851KiB/s 00:59 [############## ] 82.6%  …0.tar.xz 59.7MiB 854KiB/s 01:00 [############## ] 83.2%  …0.tar.xz 59.7MiB 854KiB/s 01:00 [############### ] 83.5%  …0.tar.xz 59.7MiB 854KiB/s 01:00 [############### ] 83.9%  …0.tar.xz 59.7MiB 848KiB/s 01:01 [############### ] 84.0%  …0.tar.xz 59.7MiB 854KiB/s 01:01 [############### ] 84.8%  …0.tar.xz 59.7MiB 854KiB/s 01:01 [############### ] 85.2%  …0.tar.xz 59.7MiB 851KiB/s 01:01 [############### ] 85.5%  …0.tar.xz 59.7MiB 849KiB/s 01:02 [############### ] 85.7%  …0.tar.xz 59.7MiB 848KiB/s 01:02 [############### ] 86.6%  …0.tar.xz 59.7MiB 854KiB/s 01:03 [############### ] 87.5%  …0.tar.xz 59.7MiB 854KiB/s 01:03 [############### ] 87.8%  …0.tar.xz 59.7MiB 854KiB/s 01:03 [############### ] 88.1%  …0.tar.xz 59.7MiB 852KiB/s 01:03 [############### ] 88.4%  …0.tar.xz 59.7MiB 855KiB/s 01:04 [################ ] 89.0%  …0.tar.xz 59.7MiB 853KiB/s 01:04 [################ ] 89.2%  …0.tar.xz 59.7MiB 850KiB/s 01:04 [################ ] 89.3%  …0.tar.xz 59.7MiB 848KiB/s 01:04 [################ ] 89.4%  …0.tar.xz 59.7MiB 852KiB/s 01:05 [################ ] 90.3%  …0.tar.xz 59.7MiB 852KiB/s 01:05 [################ ] 90.7%  …0.tar.xz 59.7MiB 856KiB/s 01:05 [################ ] 91.5%  …0.tar.xz 59.7MiB 853KiB/s 01:06 [################ ] 91.7%  …0.tar.xz 59.7MiB 857KiB/s 01:06 [################ ] 92.4%  …0.tar.xz 59.7MiB 857KiB/s 01:06 [################ ] 92.9%  …0.tar.xz 59.7MiB 858KiB/s 01:06 [################ ] 93.3%  …0.tar.xz 59.7MiB 856KiB/s 01:07 [################ ] 93.7%  …0.tar.xz 59.7MiB 853KiB/s 01:07 [################ ] 93.8%  …0.tar.xz 59.7MiB 855KiB/s 01:08 [################# ] 94.7%  …0.tar.xz 59.7MiB 853KiB/s 01:08 [################# ] 95.2%  …0.tar.xz 59.7MiB 850KiB/s 01:09 [################# ] 95.8%  …0.tar.xz 59.7MiB 853KiB/s 01:09 [################# ] 96.4%  …0.tar.xz 59.7MiB 851KiB/s 01:09 [################# ] 96.5%  …0.tar.xz 59.7MiB 857KiB/s 01:10 [################# ] 97.6%  …0.tar.xz 59.7MiB 857KiB/s 01:10 [################# ] 98.0%  …0.tar.xz 59.7MiB 858KiB/s 01:10 [################# ] 98.4%  …0.tar.xz 59.7MiB 859KiB/s 01:10 [################# ] 98.8%  …0.tar.xz 59.7MiB 860KiB/s 01:11 [################# ] 99.2%  …0.tar.xz 59.7MiB 858KiB/s 01:11 [################# ] 99.6%  …0.tar.xz 59.7MiB 860KiB/s 01:11 [##################] 100.0%