Starting download of /gnu/store/ajrvsaiza3ynzkd8ivb4zh5k83yvfx54-sbcl-2.1.9-source.tar.bz2 From http://downloads.sourceforge.net/project/sbcl/sbcl/2.1.9/sbcl-2.1.9-source.tar.bz2... following redirection to `http://master.dl.sourceforge.net/project/sbcl/sbcl/2.1.9/sbcl-2.1.9-source.tar.bz2?viasf=1'...  …ource.tar.bz2 6.4MiB +nan.0TiB/s 00:00 [ ] 0.0%  …ource.tar.bz2 6.4MiB 194KiB/s 00:00 [ ] 1.0%  …ource.tar.bz2 6.4MiB 56KiB/s 00:02 [ ] 2.0%  …ource.tar.bz2 6.4MiB 219KiB/s 00:03 [# ] 8.8%  …ource.tar.bz2 6.4MiB 174KiB/s 00:05 [## ] 12.8%  …ource.tar.bz2 6.4MiB 382KiB/s 00:05 [##### ] 29.5%  …ource.tar.bz2 6.4MiB 395KiB/s 00:05 [##### ] 32.4%  …ource.tar.bz2 6.4MiB 382KiB/s 00:06 [###### ] 33.4%  …ource.tar.bz2 6.4MiB 296KiB/s 00:08 [###### ] 35.4%  …ource.tar.bz2 6.4MiB 401KiB/s 00:08 [######### ] 51.1%  …ource.tar.bz2 6.4MiB 336KiB/s 00:10 [######### ] 53.1%  …ource.tar.bz2 6.4MiB 380KiB/s 00:12 [############ ] 68.8%  …ource.tar.bz2 6.4MiB 422KiB/s 00:12 [############# ] 77.7%  …ource.tar.bz2 6.4MiB 376KiB/s 00:14 [############## ] 79.6%  …ource.tar.bz2 6.4MiB 431KiB/s 00:14 [################ ] 93.4%  …ource.tar.bz2 6.4MiB 434KiB/s 00:14 [################# ] 96.4%  …ource.tar.bz2 6.4MiB 437KiB/s 00:15 [################# ] 99.3%  …ource.tar.bz2 6.4MiB 436KiB/s 00:15 [##################] 100.0%