Starting download of /gnu/store/p212ds2ad687w50wacysdn0zpqzvxpj4-ghc-9.2.5-src.tar.xz From https://www.haskell.org/ghc/dist/9.2.5/ghc-9.2.5-src.tar.xz... following redirection to `https://downloads.haskell.org/~ghc/9.2.5/ghc-9.2.5-src.tar.xz'...  …src.tar.xz 23.5MiB 0B/s 00:00 [ ] 0.0%  …src.tar.xz 23.5MiB 1.5MiB/s 00:00 [ ] 0.3%  …src.tar.xz 23.5MiB 1.7MiB/s 00:00 [ ] 1.9%  …src.tar.xz 23.5MiB 2.5MiB/s 00:00 [ ] 5.1%  …src.tar.xz 23.5MiB 2.9MiB/s 00:01 [# ] 8.5%  …src.tar.xz 23.5MiB 3.1MiB/s 00:01 [## ] 12.0%  …src.tar.xz 23.5MiB 3.3MiB/s 00:01 [## ] 15.4%  …src.tar.xz 23.5MiB 3.3MiB/s 00:01 [### ] 18.9%  …src.tar.xz 23.5MiB 3.3MiB/s 00:02 [### ] 21.5%  …src.tar.xz 23.5MiB 3.5MiB/s 00:02 [#### ] 25.8%  …src.tar.xz 23.5MiB 3.5MiB/s 00:02 [##### ] 29.2%  …src.tar.xz 23.5MiB 3.5MiB/s 00:02 [##### ] 32.7%  …src.tar.xz 23.5MiB 3.5MiB/s 00:02 [###### ] 35.9%  …src.tar.xz 23.5MiB 3.5MiB/s 00:03 [###### ] 38.5%  …src.tar.xz 23.5MiB 3.6MiB/s 00:03 [####### ] 42.8%  …src.tar.xz 23.5MiB 3.6MiB/s 00:03 [######## ] 46.0%  …src.tar.xz 23.5MiB 3.4MiB/s 00:03 [######## ] 48.4%  …src.tar.xz 23.5MiB 3.4MiB/s 00:04 [######### ] 51.0%  …src.tar.xz 23.5MiB 3.3MiB/s 00:04 [######### ] 52.9%  …src.tar.xz 23.5MiB 3.3MiB/s 00:04 [######### ] 54.8%  …src.tar.xz 23.5MiB 3.2MiB/s 00:04 [########## ] 56.6%  …src.tar.xz 23.5MiB 3.2MiB/s 00:04 [########## ] 58.5%  …src.tar.xz 23.5MiB 3.1MiB/s 00:05 [########## ] 60.3%  …src.tar.xz 23.5MiB 3.1MiB/s 00:05 [########### ] 62.2%  …src.tar.xz 23.5MiB 3.0MiB/s 00:05 [########### ] 64.1%  …src.tar.xz 23.5MiB 3.0MiB/s 00:05 [########### ] 65.9%  …src.tar.xz 23.5MiB 3.0MiB/s 00:05 [############ ] 67.8%  …src.tar.xz 23.5MiB 2.9MiB/s 00:06 [############ ] 69.6%  …src.tar.xz 23.5MiB 2.9MiB/s 00:06 [############ ] 71.2%  …src.tar.xz 23.5MiB 2.9MiB/s 00:06 [############# ] 72.8%  …src.tar.xz 23.5MiB 2.8MiB/s 00:06 [############# ] 74.4%  …src.tar.xz 23.5MiB 2.8MiB/s 00:06 [############# ] 76.0%  …src.tar.xz 23.5MiB 2.8MiB/s 00:07 [############# ] 77.6%  …src.tar.xz 23.5MiB 2.7MiB/s 00:07 [############## ] 79.2%  …src.tar.xz 23.5MiB 2.7MiB/s 00:07 [############## ] 80.8%  …src.tar.xz 23.5MiB 2.7MiB/s 00:07 [############## ] 82.4%  …src.tar.xz 23.5MiB 2.6MiB/s 00:07 [############### ] 83.7%  …src.tar.xz 23.5MiB 2.6MiB/s 00:08 [############### ] 85.9%  …src.tar.xz 23.5MiB 2.6MiB/s 00:08 [############### ] 87.5%  …src.tar.xz 23.5MiB 2.6MiB/s 00:08 [################ ] 89.0%  …src.tar.xz 23.5MiB 2.6MiB/s 00:08 [################ ] 90.6%  …src.tar.xz 23.5MiB 2.5MiB/s 00:09 [################ ] 92.2%  …src.tar.xz 23.5MiB 2.5MiB/s 00:09 [################ ] 93.8%  …src.tar.xz 23.5MiB 2.5MiB/s 00:09 [################# ] 95.4%  …src.tar.xz 23.5MiB 2.5MiB/s 00:09 [################# ] 97.0%  …src.tar.xz 23.5MiB 2.5MiB/s 00:09 [################# ] 98.6%  …src.tar.xz 23.5MiB 2.4MiB/s 00:10 [##################] 100.0%