Starting download of /gnu/store/lj1n26lvkw6fsyv1z2bygz22fc5pmps5-glpk-4.65.tar.gz From https://ftpmirror.gnu.org/gnu/glpk/glpk-4.65.tar.gz... following redirection to `https://mirrors.syringanetworks.net/gnu/glpk/glpk-4.65.tar.gz'...  …5.tar.gz 4.0MiB 0B/s 00:00 [ ] 0.0%  …5.tar.gz 4.0MiB 166KiB/s 00:00 [ ] 1.6%  …5.tar.gz 4.0MiB 173KiB/s 00:01 [ ] 3.1%  …5.tar.gz 4.0MiB 174KiB/s 00:01 [ ] 4.7%  …5.tar.gz 4.0MiB 172KiB/s 00:01 [# ] 6.3%  …5.tar.gz 4.0MiB 175KiB/s 00:02 [# ] 7.9%  …5.tar.gz 4.0MiB 177KiB/s 00:02 [# ] 9.4%  …5.tar.gz 4.0MiB 177KiB/s 00:03 [# ] 11.0%  …5.tar.gz 4.0MiB 184KiB/s 00:03 [## ] 12.6%  …5.tar.gz 4.0MiB 186KiB/s 00:03 [## ] 14.2%  …5.tar.gz 4.0MiB 193KiB/s 00:03 [## ] 15.7%  …5.tar.gz 4.0MiB 193KiB/s 00:04 [### ] 17.3%  …5.tar.gz 4.0MiB 198KiB/s 00:04 [### ] 18.9%  …5.tar.gz 4.0MiB 193KiB/s 00:04 [### ] 20.4%  …5.tar.gz 4.0MiB 189KiB/s 00:05 [### ] 22.0%  …5.tar.gz 4.0MiB 187KiB/s 00:05 [#### ] 23.6%  …5.tar.gz 4.0MiB 186KiB/s 00:06 [#### ] 25.2%  …5.tar.gz 4.0MiB 186KiB/s 00:06 [#### ] 26.7%  …5.tar.gz 4.0MiB 187KiB/s 00:06 [##### ] 28.3%  …5.tar.gz 4.0MiB 188KiB/s 00:06 [##### ] 29.9%  …5.tar.gz 4.0MiB 188KiB/s 00:07 [##### ] 31.5%  …5.tar.gz 4.0MiB 190KiB/s 00:07 [##### ] 33.0%  …5.tar.gz 4.0MiB 192KiB/s 00:07 [###### ] 34.6%  …5.tar.gz 4.0MiB 194KiB/s 00:08 [###### ] 36.2%  …5.tar.gz 4.0MiB 196KiB/s 00:08 [###### ] 37.7%  …5.tar.gz 4.0MiB 198KiB/s 00:08 [####### ] 39.3%  …5.tar.gz 4.0MiB 199KiB/s 00:08 [####### ] 40.9%  …5.tar.gz 4.0MiB 197KiB/s 00:09 [####### ] 42.5%  …5.tar.gz 4.0MiB 197KiB/s 00:09 [####### ] 44.0%  …5.tar.gz 4.0MiB 197KiB/s 00:09 [######## ] 45.6%  …5.tar.gz 4.0MiB 196KiB/s 00:10 [######## ] 47.2%  …5.tar.gz 4.0MiB 196KiB/s 00:10 [######## ] 48.8%  …5.tar.gz 4.0MiB 197KiB/s 00:10 [######### ] 50.3%  …5.tar.gz 4.0MiB 197KiB/s 00:11 [######### ] 51.9%  …5.tar.gz 4.0MiB 198KiB/s 00:11 [######### ] 53.5%  …5.tar.gz 4.0MiB 199KiB/s 00:11 [######### ] 55.0%  …5.tar.gz 4.0MiB 201KiB/s 00:11 [########## ] 56.6%  …5.tar.gz 4.0MiB 202KiB/s 00:12 [########## ] 58.2%  …5.tar.gz 4.0MiB 204KiB/s 00:12 [########## ] 59.8%  …5.tar.gz 4.0MiB 205KiB/s 00:12 [########### ] 61.3%  …5.tar.gz 4.0MiB 207KiB/s 00:12 [########### ] 62.9%  …5.tar.gz 4.0MiB 208KiB/s 00:13 [########### ] 64.5%  …5.tar.gz 4.0MiB 210KiB/s 00:13 [########### ] 66.1%  …5.tar.gz 4.0MiB 213KiB/s 00:13 [############ ] 69.2%  …5.tar.gz 4.0MiB 214KiB/s 00:13 [############ ] 70.8%  …5.tar.gz 4.0MiB 218KiB/s 00:14 [############# ] 73.9%  …5.tar.gz 4.0MiB 221KiB/s 00:14 [############# ] 77.1%  …5.tar.gz 4.0MiB 224KiB/s 00:15 [############## ] 80.2%  …5.tar.gz 4.0MiB 228KiB/s 00:15 [############### ] 83.4%  …5.tar.gz 4.0MiB 224KiB/s 00:15 [############### ] 84.9%  …5.tar.gz 4.0MiB 229KiB/s 00:16 [############### ] 88.1%  …5.tar.gz 4.0MiB 226KiB/s 00:16 [################ ] 89.6%  …5.tar.gz 4.0MiB 231KiB/s 00:16 [################ ] 92.8%  …5.tar.gz 4.0MiB 229KiB/s 00:17 [################ ] 94.4%  …5.tar.gz 4.0MiB 229KiB/s 00:17 [################# ] 97.5%  …5.tar.gz 4.0MiB 232KiB/s 00:18 [##################] 100.0%  …5.tar.gz 4.0MiB 232KiB/s 00:18 [##################] 100.0%