Starting download of /gnu/store/r5ddacdfkmldlaga2q0fjhddb6xi91bi-isl-0.22.1.tar.bz2
From http://isl.gforge.inria.fr/isl-0.22.1.tar.bz2...

 …1.tar.bz2  1.8MiB                       0B/s 00:00 [                  ]   0.0%
 …1.tar.bz2  1.8MiB                   1.7MiB/s 00:00 [                  ]   3.5%
 …1.tar.bz2  1.8MiB                   8.7MiB/s 00:00 [##################] 100.0%