Starting download of /gnu/store/2bbr4wa8w43dcwql36w1l3qvjyxma3p4-bison-3.5.3.tar.xz From https://ftpmirror.gnu.org/gnu/bison/bison-3.5.3.tar.xz... following redirection to `https://mirrors.kernel.org/gnu/bison/bison-3.5.3.tar.xz'...  ….3.tar.xz 2.3MiB 0B/s 00:00 [ ] 0.0%  ….3.tar.xz 2.3MiB 64KiB/s 00:01 [ ] 2.8%  ….3.tar.xz 2.3MiB 61KiB/s 00:02 [ ] 5.5%  ….3.tar.xz 2.3MiB 73KiB/s 00:03 [# ] 8.3%  ….3.tar.xz 2.3MiB 74KiB/s 00:03 [# ] 11.1%  ….3.tar.xz 2.3MiB 74KiB/s 00:04 [## ] 13.9%  ….3.tar.xz 2.3MiB 73KiB/s 00:05 [## ] 16.6%  ….3.tar.xz 2.3MiB 75KiB/s 00:06 [### ] 19.4%  ….3.tar.xz 2.3MiB 75KiB/s 00:07 [### ] 22.2%  ….3.tar.xz 2.3MiB 75KiB/s 00:08 [#### ] 24.9%  ….3.tar.xz 2.3MiB 73KiB/s 00:09 [#### ] 27.7%  ….3.tar.xz 2.3MiB 74KiB/s 00:10 [##### ] 30.5%  ….3.tar.xz 2.3MiB 73KiB/s 00:10 [##### ] 33.3%  ….3.tar.xz 2.3MiB 75KiB/s 00:11 [###### ] 36.0%  ….3.tar.xz 2.3MiB 75KiB/s 00:12 [###### ] 38.8%  ….3.tar.xz 2.3MiB 77KiB/s 00:13 [####### ] 41.6%  ….3.tar.xz 2.3MiB 79KiB/s 00:13 [####### ] 44.3%  ….3.tar.xz 2.3MiB 78KiB/s 00:14 [######## ] 47.1%  ….3.tar.xz 2.3MiB 78KiB/s 00:15 [######## ] 49.9%  ….3.tar.xz 2.3MiB 79KiB/s 00:15 [######### ] 52.7%  ….3.tar.xz 2.3MiB 79KiB/s 00:16 [######### ] 55.4%  ….3.tar.xz 2.3MiB 78KiB/s 00:17 [########## ] 58.2%  ….3.tar.xz 2.3MiB 78KiB/s 00:18 [########## ] 61.0%  ….3.tar.xz 2.3MiB 77KiB/s 00:19 [########### ] 63.7%  ….3.tar.xz 2.3MiB 77KiB/s 00:20 [########### ] 66.5%  ….3.tar.xz 2.3MiB 76KiB/s 00:21 [############ ] 69.3%  ….3.tar.xz 2.3MiB 76KiB/s 00:22 [############ ] 72.1%  ….3.tar.xz 2.3MiB 75KiB/s 00:23 [############# ] 74.8%  ….3.tar.xz 2.3MiB 75KiB/s 00:24 [############# ] 77.6%  ….3.tar.xz 2.3MiB 75KiB/s 00:25 [############## ] 80.4%  ….3.tar.xz 2.3MiB 75KiB/s 00:26 [############## ] 83.1%  ….3.tar.xz 2.3MiB 73KiB/s 00:27 [############### ] 85.9%  ….3.tar.xz 2.3MiB 73KiB/s 00:28 [############### ] 88.7%  ….3.tar.xz 2.3MiB 72KiB/s 00:29 [################ ] 91.4%  ….3.tar.xz 2.3MiB 72KiB/s 00:30 [################ ] 94.2%  ….3.tar.xz 2.3MiB 73KiB/s 00:31 [################# ] 97.0%  ….3.tar.xz 2.3MiB 73KiB/s 00:32 [################# ] 99.8%  ….3.tar.xz 2.3MiB 73KiB/s 00:32 [##################] 100.0%