Starting download of /gnu/store/4p04swsvq7ln2sma0gg1bgzccly2srpg-bison-3.8.2.tar.xz From https://ftpmirror.gnu.org/gnu/bison/bison-3.8.2.tar.xz... following redirection to `https://mirrors.kernel.org/gnu/bison/bison-3.8.2.tar.xz'...  ….2.tar.xz 2.7MiB 0B/s 00:00 [ ] 0.0%  ….2.tar.xz 2.7MiB 186KiB/s 00:00 [ ] 2.3%  ….2.tar.xz 2.7MiB 173KiB/s 00:01 [ ] 4.7%  ….2.tar.xz 2.7MiB 162KiB/s 00:01 [# ] 7.0%  ….2.tar.xz 2.7MiB 86KiB/s 00:03 [# ] 9.3%  ….2.tar.xz 2.7MiB 93KiB/s 00:03 [## ] 11.6%  ….2.tar.xz 2.7MiB 103KiB/s 00:04 [## ] 14.0%  ….2.tar.xz 2.7MiB 95KiB/s 00:05 [## ] 16.3%  ….2.tar.xz 2.7MiB 99KiB/s 00:05 [### ] 18.6%  ….2.tar.xz 2.7MiB 74KiB/s 00:08 [### ] 20.9%  ….2.tar.xz 2.7MiB 78KiB/s 00:08 [#### ] 23.3%  ….2.tar.xz 2.7MiB 82KiB/s 00:09 [#### ] 25.6%  ….2.tar.xz 2.7MiB 74KiB/s 00:10 [##### ] 27.9%  ….2.tar.xz 2.7MiB 77KiB/s 00:11 [##### ] 30.2%  ….2.tar.xz 2.7MiB 81KiB/s 00:11 [##### ] 32.6%  ….2.tar.xz 2.7MiB 84KiB/s 00:11 [###### ] 34.9%  ….2.tar.xz 2.7MiB 86KiB/s 00:12 [###### ] 37.2%  ….2.tar.xz 2.7MiB 88KiB/s 00:12 [####### ] 39.5%  ….2.tar.xz 2.7MiB 91KiB/s 00:13 [####### ] 41.9%  ….2.tar.xz 2.7MiB 93KiB/s 00:13 [####### ] 44.2%  ….2.tar.xz 2.7MiB 95KiB/s 00:14 [######## ] 46.5%  ….2.tar.xz 2.7MiB 97KiB/s 00:14 [######## ] 48.8%  ….2.tar.xz 2.7MiB 99KiB/s 00:14 [######### ] 51.2%  ….2.tar.xz 2.7MiB 97KiB/s 00:15 [######### ] 53.5%  ….2.tar.xz 2.7MiB 99KiB/s 00:16 [########## ] 55.8%  ….2.tar.xz 2.7MiB 100KiB/s 00:16 [########## ] 58.2%  ….2.tar.xz 2.7MiB 99KiB/s 00:17 [########## ] 60.5%  ….2.tar.xz 2.7MiB 100KiB/s 00:17 [########### ] 62.8%  ….2.tar.xz 2.7MiB 101KiB/s 00:18 [########### ] 65.1%  ….2.tar.xz 2.7MiB 103KiB/s 00:18 [############ ] 67.5%  ….2.tar.xz 2.7MiB 104KiB/s 00:19 [############ ] 69.8%  ….2.tar.xz 2.7MiB 105KiB/s 00:19 [############ ] 72.1%  ….2.tar.xz 2.7MiB 95KiB/s 00:22 [############# ] 74.4%  ….2.tar.xz 2.7MiB 110KiB/s 00:22 [############### ] 88.4%  ….2.tar.xz 2.7MiB 111KiB/s 00:22 [################ ] 90.7%  ….2.tar.xz 2.7MiB 112KiB/s 00:23 [################ ] 93.0%  ….2.tar.xz 2.7MiB 110KiB/s 00:24 [################# ] 95.4%  ….2.tar.xz 2.7MiB 111KiB/s 00:24 [################# ] 97.7%  ….2.tar.xz 2.7MiB 112KiB/s 00:25 [##################] 100.0%  ….2.tar.xz 2.7MiB 112KiB/s 00:25 [##################] 100.0%