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 `https://deac-ams.dl.sourceforge.net/project/gnu-efi/gnu-efi-3.0.13.tar.bz2'...

 ….13.tar.bz2  152KiB                     0B/s 00:00 [                  ]   0.0%
 ….13.tar.bz2  152KiB                 1.1MiB/s 00:00 [#######           ]  42.1%
 ….13.tar.bz2  152KiB                 1.3MiB/s 00:00 [##################] 100.0%