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%