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://deac-riga.dl.sourceforge.net/project/libisl/isl-0.24.tar.xz'...
following redirection to `http://downloads.sourceforge.net/project/libisl/isl-0.24.tar.xz?download&failedmirror=deac-riga.dl.sourceforge.net'...
following redirection to `http://deac-ams.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                    578KiB/s 00:00 [                  ]   3.4%
 …4.tar.xz  1.8MiB                    386KiB/s 00:00 [#                 ]   6.8%
 …4.tar.xz  1.8MiB                    704KiB/s 00:01 [###               ]  20.4%
 …4.tar.xz  1.8MiB                    842KiB/s 00:01 [######            ]  33.9%
 …4.tar.xz  1.8MiB                    917KiB/s 00:01 [########          ]  47.5%
 …4.tar.xz  1.8MiB                    967KiB/s 00:01 [##########        ]  61.1%
 …4.tar.xz  1.8MiB                    999KiB/s 00:01 [#############     ]  74.7%
 …4.tar.xz  1.8MiB                   1023KiB/s 00:02 [###############   ]  88.2%
 …4.tar.xz  1.8MiB                    1.0MiB/s 00:02 [##################] 100.0%