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                    350KiB/s 00:00 [                  ]   3.4%
 …4.tar.xz  1.8MiB                    501KiB/s 00:00 [#                 ]  10.2%
 …4.tar.xz  1.8MiB                    730KiB/s 00:01 [####              ]  23.8%
 …4.tar.xz  1.8MiB                    988KiB/s 00:01 [#######           ]  44.1%
 …4.tar.xz  1.8MiB                    1.3MiB/s 00:01 [#############     ]  74.7%
 …4.tar.xz  1.8MiB                    1.5MiB/s 00:01 [##################] 100.0%