Starting download of /gnu/store/45d9yz6dwcyx00x6vkv38zp46pncyjwg-isl-0.24.tar.xz
From http://downloads.sourceforge.net/project/libisl/isl-0.24.tar.xz...
following redirection to `http://kumisystems.dl.sourceforge.net/project/libisl/isl-0.24.tar.xz'...

 …4.tar.xz  1.8MiB                        0B/s 00:00 [                  ]   0.0%
 …4.tar.xz  1.8MiB                   1009KiB/s 00:00 [                  ]   3.4%
 …4.tar.xz  1.8MiB                    2.9MiB/s 00:00 [#######           ]  44.1%
 …4.tar.xz  1.8MiB                    3.3MiB/s 00:00 [###############   ]  88.2%
 …4.tar.xz  1.8MiB                    3.4MiB/s 00:01 [##################] 100.0%