Starting download of /gnu/store/hbl2dinpxlyn4gag46pw2ncfcy74l9p9-ghc-8.10.7-src.tar.xz From https://www.haskell.org/ghc/dist/8.10.7/ghc-8.10.7-src.tar.xz... following redirection to `https://downloads.haskell.org/~ghc/8.10.7/ghc-8.10.7-src.tar.xz'...  …-src.tar.xz 19.0MiB 0B/s 00:00 [ ] 0.0%  …-src.tar.xz 19.0MiB 418KiB/s 00:00 [ ] 0.3%  …-src.tar.xz 19.0MiB 560KiB/s 00:00 [ ] 1.3%  …-src.tar.xz 19.0MiB 595KiB/s 00:01 [ ] 2.3%  …-src.tar.xz 19.0MiB 605KiB/s 00:01 [ ] 3.3%  …-src.tar.xz 19.0MiB 619KiB/s 00:01 [ ] 4.3%  …-src.tar.xz 19.0MiB 604KiB/s 00:02 [ ] 5.3%  …-src.tar.xz 19.0MiB 608KiB/s 00:02 [# ] 6.2%  …-src.tar.xz 19.0MiB 599KiB/s 00:02 [# ] 6.9%  …-src.tar.xz 19.0MiB 598KiB/s 00:02 [# ] 7.6%  …-src.tar.xz 19.0MiB 606KiB/s 00:03 [# ] 8.5%  …-src.tar.xz 19.0MiB 615KiB/s 00:03 [# ] 9.5%  …-src.tar.xz 19.0MiB 623KiB/s 00:03 [# ] 10.5%  …-src.tar.xz 19.0MiB 633KiB/s 00:04 [## ] 11.5%  …-src.tar.xz 19.0MiB 642KiB/s 00:04 [## ] 12.5%  …-src.tar.xz 19.0MiB 651KiB/s 00:04 [## ] 13.5%  …-src.tar.xz 19.0MiB 648KiB/s 00:04 [## ] 14.1%  …-src.tar.xz 19.0MiB 668KiB/s 00:05 [## ] 15.5%  …-src.tar.xz 19.0MiB 677KiB/s 00:05 [## ] 16.4%  …-src.tar.xz 19.0MiB 686KiB/s 00:05 [### ] 17.4%  …-src.tar.xz 19.0MiB 694KiB/s 00:05 [### ] 18.4%  …-src.tar.xz 19.0MiB 703KiB/s 00:05 [### ] 19.4%  …-src.tar.xz 19.0MiB 710KiB/s 00:06 [### ] 20.4%  …-src.tar.xz 19.0MiB 717KiB/s 00:06 [### ] 21.4%  …-src.tar.xz 19.0MiB 724KiB/s 00:06 [#### ] 22.4%  …-src.tar.xz 19.0MiB 730KiB/s 00:06 [#### ] 23.3%  …-src.tar.xz 19.0MiB 747KiB/s 00:06 [#### ] 24.7%  …-src.tar.xz 19.0MiB 848KiB/s 00:07 [##### ] 28.9%  …-src.tar.xz 19.0MiB 943KiB/s 00:07 [##### ] 33.2%  …-src.tar.xz 19.0MiB 1.0MiB/s 00:07 [###### ] 37.5%  …-src.tar.xz 19.0MiB 1.1MiB/s 00:07 [####### ] 41.8%  …-src.tar.xz 19.0MiB 1.2MiB/s 00:07 [######## ] 46.0%  …-src.tar.xz 19.0MiB 1.2MiB/s 00:08 [######### ] 50.3%  …-src.tar.xz 19.0MiB 1.3MiB/s 00:08 [######### ] 54.6%  …-src.tar.xz 19.0MiB 1.4MiB/s 00:08 [########## ] 58.9%  …-src.tar.xz 19.0MiB 1.4MiB/s 00:08 [########### ] 63.1%  …-src.tar.xz 19.0MiB 1.5MiB/s 00:09 [############ ] 67.4%  …-src.tar.xz 19.0MiB 1.6MiB/s 00:09 [############ ] 71.7%  …-src.tar.xz 19.0MiB 1.6MiB/s 00:09 [############# ] 75.9%  …-src.tar.xz 19.0MiB 1.7MiB/s 00:09 [############## ] 80.2%  …-src.tar.xz 19.0MiB 1.7MiB/s 00:09 [############### ] 84.5%  …-src.tar.xz 19.0MiB 1.8MiB/s 00:10 [############### ] 88.8%  …-src.tar.xz 19.0MiB 1.8MiB/s 00:10 [################ ] 93.0%  …-src.tar.xz 19.0MiB 1.8MiB/s 00:10 [################# ] 97.3%  …-src.tar.xz 19.0MiB 1.9MiB/s 00:10 [##################] 100.0%