Starting download of /gnu/store/m0dfqbdz5f1ks8vf335lkwzqkjhwfzd4-pinball-0.3.1.tar.gz From http://downloads.sourceforge.net/project/pinball/pinball/pinball-0.3.1/pinball-0.3.1.tar.gz... following redirection to `https://netix.dl.sourceforge.net/project/pinball/pinball/pinball-0.3.1/pinball-0.3.1.tar.gz'...  …3.1.tar.gz 5.8MiB 0B/s 00:00 [ ] 0.0%  …3.1.tar.gz 5.8MiB 705KiB/s 00:00 [ ] 1.1%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:00 [# ] 7.5%  …3.1.tar.gz 5.8MiB 2.2MiB/s 00:01 [### ] 20.5%  …3.1.tar.gz 5.8MiB 2.2MiB/s 00:01 [##### ] 29.1%  …3.1.tar.gz 5.8MiB 2.1MiB/s 00:01 [###### ] 35.6%  …3.1.tar.gz 5.8MiB 2.0MiB/s 00:01 [####### ] 40.9%  …3.1.tar.gz 5.8MiB 1.9MiB/s 00:01 [######## ] 45.2%  …3.1.tar.gz 5.8MiB 1.7MiB/s 00:02 [######## ] 49.6%  …3.1.tar.gz 5.8MiB 1.7MiB/s 00:02 [######### ] 53.9%  …3.1.tar.gz 5.8MiB 1.6MiB/s 00:02 [########## ] 58.2%  …3.1.tar.gz 5.8MiB 1.5MiB/s 00:02 [########### ] 62.5%  …3.1.tar.gz 5.8MiB 1.5MiB/s 00:03 [############ ] 66.8%  …3.1.tar.gz 5.8MiB 1.5MiB/s 00:03 [############ ] 71.1%  …3.1.tar.gz 5.8MiB 1.4MiB/s 00:03 [############# ] 74.3%  …3.1.tar.gz 5.8MiB 1.4MiB/s 00:03 [############# ] 77.6%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:04 [############## ] 81.9%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:04 [############### ] 86.2%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:04 [################ ] 90.5%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:04 [################# ] 94.8%  …3.1.tar.gz 5.8MiB 1.3MiB/s 00:05 [################# ] 98.0%  …3.1.tar.gz 5.8MiB 1.2MiB/s 00:05 [##################] 100.0%