Starting download of /gnu/store/mhp3zdh6q5lcg8kldm0d2vx9j1y2h0qh-glpk-5.0.tar.gz From https://ftpmirror.gnu.org/gnu/glpk/glpk-5.0.tar.gz... following redirection to `https://mirrors.sarata.com/gnu/glpk/glpk-5.0.tar.gz'...  …0.tar.gz 3.9MiB 0B/s 00:00 [ ] 0.0%  …0.tar.gz 3.9MiB 60KiB/s 00:01 [ ] 1.6%  …0.tar.gz 3.9MiB 57KiB/s 00:02 [ ] 3.2%  …0.tar.gz 3.9MiB 54KiB/s 00:04 [ ] 4.8%  …0.tar.gz 3.9MiB 55KiB/s 00:05 [# ] 6.3%  …0.tar.gz 3.9MiB 57KiB/s 00:06 [# ] 7.9%  …0.tar.gz 3.9MiB 57KiB/s 00:07 [# ] 9.5%  …0.tar.gz 3.9MiB 46KiB/s 00:10 [# ] 11.1%  …0.tar.gz 3.9MiB 46KiB/s 00:11 [## ] 12.7%  …0.tar.gz 3.9MiB 43KiB/s 00:13 [## ] 14.3%  …0.tar.gz 3.9MiB 41KiB/s 00:16 [## ] 15.9%  …0.tar.gz 3.9MiB 42KiB/s 00:17 [### ] 17.4%  …0.tar.gz 3.9MiB 43KiB/s 00:18 [### ] 19.0%  …0.tar.gz 3.9MiB 44KiB/s 00:19 [### ] 20.6%  …0.tar.gz 3.9MiB 45KiB/s 00:20 [### ] 22.2%  …0.tar.gz 3.9MiB 46KiB/s 00:21 [#### ] 23.8%  …0.tar.gz 3.9MiB 48KiB/s 00:22 [#### ] 25.4%  …0.tar.gz 3.9MiB 49KiB/s 00:22 [#### ] 27.0%  …0.tar.gz 3.9MiB 49KiB/s 00:23 [##### ] 28.5%  …0.tar.gz 3.9MiB 50KiB/s 00:24 [##### ] 30.1%  …0.tar.gz 3.9MiB 51KiB/s 00:25 [##### ] 31.7%  …0.tar.gz 3.9MiB 52KiB/s 00:26 [##### ] 33.3%  …0.tar.gz 3.9MiB 54KiB/s 00:26 [###### ] 34.9%  …0.tar.gz 3.9MiB 56KiB/s 00:26 [###### ] 36.5%  …0.tar.gz 3.9MiB 57KiB/s 00:27 [###### ] 38.1%  …0.tar.gz 3.9MiB 59KiB/s 00:27 [####### ] 39.6%  …0.tar.gz 3.9MiB 60KiB/s 00:28 [####### ] 41.2%  …0.tar.gz 3.9MiB 62KiB/s 00:28 [####### ] 42.8%  …0.tar.gz 3.9MiB 64KiB/s 00:28 [####### ] 44.4%  …0.tar.gz 3.9MiB 65KiB/s 00:28 [######## ] 46.0%  …0.tar.gz 3.9MiB 67KiB/s 00:29 [######## ] 47.6%  …0.tar.gz 3.9MiB 68KiB/s 00:29 [######## ] 49.2%  …0.tar.gz 3.9MiB 69KiB/s 00:30 [######### ] 50.7%  …0.tar.gz 3.9MiB 70KiB/s 00:30 [######### ] 52.3%  …0.tar.gz 3.9MiB 72KiB/s 00:30 [######### ] 53.9%  …0.tar.gz 3.9MiB 73KiB/s 00:31 [######### ] 55.5%  …0.tar.gz 3.9MiB 73KiB/s 00:32 [########## ] 57.1%  …0.tar.gz 3.9MiB 73KiB/s 00:33 [########## ] 58.7%  …0.tar.gz 3.9MiB 72KiB/s 00:34 [########## ] 60.3%  …0.tar.gz 3.9MiB 72KiB/s 00:34 [########### ] 61.8%  …0.tar.gz 3.9MiB 73KiB/s 00:35 [########### ] 63.4%  …0.tar.gz 3.9MiB 73KiB/s 00:36 [########### ] 65.0%  …0.tar.gz 3.9MiB 73KiB/s 00:37 [########### ] 66.6%  …0.tar.gz 3.9MiB 73KiB/s 00:38 [############ ] 68.2%  …0.tar.gz 3.9MiB 73KiB/s 00:39 [############ ] 69.8%  …0.tar.gz 3.9MiB 73KiB/s 00:39 [############ ] 71.4%  …0.tar.gz 3.9MiB 74KiB/s 00:40 [############# ] 72.9%  …0.tar.gz 3.9MiB 75KiB/s 00:40 [############# ] 74.5%  …0.tar.gz 3.9MiB 76KiB/s 00:41 [############# ] 76.1%  …0.tar.gz 3.9MiB 77KiB/s 00:41 [############# ] 77.7%  …0.tar.gz 3.9MiB 78KiB/s 00:41 [############## ] 79.3%  …0.tar.gz 3.9MiB 80KiB/s 00:42 [############## ] 82.5%  …0.tar.gz 3.9MiB 81KiB/s 00:42 [############### ] 84.0%  …0.tar.gz 3.9MiB 84KiB/s 00:42 [############### ] 87.2%  …0.tar.gz 3.9MiB 88KiB/s 00:42 [################ ] 92.0%  …0.tar.gz 3.9MiB 90KiB/s 00:43 [################# ] 95.1%  …0.tar.gz 3.9MiB 93KiB/s 00:43 [################# ] 98.3%  …0.tar.gz 3.9MiB 94KiB/s 00:43 [##################] 100.0%