Starting download of /gnu/store/j17vv20rvvdg20capm1aa0nfzmnha8al-asio-1.12.2.tar.bz2 From http://downloads.sourceforge.net/project/asio/asio/1.12.2 (Stable)/asio-1.12.2.tar.bz2... following redirection to `https://deac-ams.dl.sourceforge.net/project/asio/asio/1.12.2%20%28Stable%29/asio-1.12.2.tar.bz2'...  ….2.tar.bz2 1.4MiB 0B/s 00:00 [ ] 0.0%  ….2.tar.bz2 1.4MiB 2.9MiB/s 00:00 [ ] 4.6%  ….2.tar.bz2 1.4MiB 3.6MiB/s 00:00 [########## ] 59.3%  ….2.tar.bz2 1.4MiB 3.7MiB/s 00:00 [##################] 100.0%