Starting download of /gnu/store/hwxz9ywd4kj2gg4ip1b6wdmlvc4bh6a2-gnu-efi-3.0.13.tar.bz2
From http://downloads.sourceforge.net/project/gnu-efi/gnu-efi-3.0.13.tar.bz2...
following redirection to `http://master.dl.sourceforge.net/project/gnu-efi/gnu-efi-3.0.13.tar.bz2?viasf=1'...

 ….13.tar.bz2  152KiB              +nan.0TiB/s 00:00 [                  ]   0.0%
 ….13.tar.bz2  152KiB                  57KiB/s 00:01 [#######           ]  42.1%
 ….13.tar.bz2  152KiB                  66KiB/s 00:02 [###############   ]  84.2%
 ….13.tar.bz2  152KiB                  72KiB/s 00:02 [##################] 100.0%