Starting download of /gnu/store/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2
From http://isl.gforge.inria.fr/isl-0.18.tar.bz2...
In procedure connect*: Connection timed out

Starting download of /gnu/store/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2
From ftp://ftp.nluug.nl/mirror/languages/gcc/infrastructure/isl-0.18.tar.bz2...

 isl-0.18.tar.bz2  1.6MiB          +nan.0TiB/s 00:00 [                  ]   0.0%
 isl-0.18.tar.bz2  1.6MiB             305KiB/s 00:00 [                  ]   4.0%
 isl-0.18.tar.bz2  1.6MiB             627KiB/s 00:01 [###               ]  19.8%
 isl-0.18.tar.bz2  1.6MiB             178KiB/s 00:02 [####              ]  23.7%
 isl-0.18.tar.bz2  1.6MiB             723KiB/s 00:02 [##################] 100.0%