Starting download of /gnu/store/aay3a6h960r9dc579ffa6rqwgn5157m9-ghc-7.10.2-src.tar.xz From https://www.haskell.org/ghc/dist/7.10.2/ghc-7.10.2-src.tar.xz... following redirection to `https://downloads.haskell.org/~ghc/7.10.2/ghc-7.10.2-src.tar.xz'...  …-src.tar.xz 10.6MiB 0B/s 00:00 [ ] 0.0%  …-src.tar.xz 10.6MiB 1.2MiB/s 00:00 [ ] 0.6%  …-src.tar.xz 10.6MiB 473KiB/s 00:00 [ ] 1.2%  …-src.tar.xz 10.6MiB 840KiB/s 00:01 [ ] 4.1%  …-src.tar.xz 10.6MiB 865KiB/s 00:01 [# ] 5.9%  …-src.tar.xz 10.6MiB 871KiB/s 00:01 [# ] 7.7%  …-src.tar.xz 10.6MiB 865KiB/s 00:01 [# ] 9.4%  …-src.tar.xz 10.6MiB 863KiB/s 00:01 [## ] 11.2%  …-src.tar.xz 10.6MiB 859KiB/s 00:02 [## ] 13.0%  …-src.tar.xz 10.6MiB 844KiB/s 00:02 [## ] 14.7%  …-src.tar.xz 10.6MiB 844KiB/s 00:02 [## ] 16.5%  …-src.tar.xz 10.6MiB 843KiB/s 00:02 [### ] 18.3%  …-src.tar.xz 10.6MiB 844KiB/s 00:03 [### ] 20.1%  …-src.tar.xz 10.6MiB 845KiB/s 00:03 [### ] 21.8%  …-src.tar.xz 10.6MiB 846KiB/s 00:03 [#### ] 23.6%  …-src.tar.xz 10.6MiB 848KiB/s 00:03 [#### ] 25.4%  …-src.tar.xz 10.6MiB 848KiB/s 00:03 [#### ] 27.1%  …-src.tar.xz 10.6MiB 871KiB/s 00:04 [##### ] 29.5%  …-src.tar.xz 10.6MiB 904KiB/s 00:04 [##### ] 32.4%  …-src.tar.xz 10.6MiB 931KiB/s 00:04 [###### ] 35.4%  …-src.tar.xz 10.6MiB 957KiB/s 00:04 [###### ] 38.3%  …-src.tar.xz 10.6MiB 979KiB/s 00:05 [####### ] 41.3%  …-src.tar.xz 10.6MiB 1001KiB/s 00:05 [####### ] 44.2%  …-src.tar.xz 10.6MiB 1021KiB/s 00:05 [######## ] 47.2%  …-src.tar.xz 10.6MiB 1.0MiB/s 00:05 [######### ] 50.1%  …-src.tar.xz 10.6MiB 1.0MiB/s 00:05 [######### ] 53.1%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:06 [########## ] 56.0%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:06 [########## ] 59.0%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:06 [########### ] 61.9%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:06 [########### ] 64.9%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:06 [############ ] 67.8%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:07 [############ ] 70.2%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:07 [############# ] 73.7%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:07 [############# ] 76.1%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:07 [############## ] 78.4%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:08 [############## ] 80.8%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:08 [############## ] 83.1%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:08 [############### ] 85.5%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:08 [############### ] 87.9%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:09 [################ ] 90.2%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:09 [################ ] 92.6%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:09 [################# ] 95.5%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:09 [################# ] 98.5%  …-src.tar.xz 10.6MiB 1.1MiB/s 00:09 [##################] 100.0%