Starting download of /gnu/store/s29jj1p3196al6fl2jpvl3nds085g913-mingw-w64-v8.0.0.tar.bz2 From http://downloads.sourceforge.net/project/mingw-w64/mingw-w64/mingw-w64-release/mingw-w64-v8.0.0.tar.bz2... following redirection to `https://freefr.dl.sourceforge.net/project/mingw-w64/mingw-w64/mingw-w64-release/mingw-w64-v8.0.0.tar.bz2'...  ….0.0.tar.bz2 8.9MiB 0B/s 00:00 [ ] 0.0%  ….0.0.tar.bz2 8.9MiB 319KiB/s 00:00 [ ] 0.7%  ….0.0.tar.bz2 8.9MiB 463KiB/s 00:00 [ ] 2.1%  ….0.0.tar.bz2 8.9MiB 624KiB/s 00:01 [ ] 4.2%  ….0.0.tar.bz2 8.9MiB 748KiB/s 00:01 [# ] 7.0%  ….0.0.tar.bz2 8.9MiB 732KiB/s 00:01 [# ] 9.8%  ….0.0.tar.bz2 8.9MiB 654KiB/s 00:02 [## ] 11.9%  ….0.0.tar.bz2 8.9MiB 644KiB/s 00:02 [## ] 13.3%  ….0.0.tar.bz2 8.9MiB 611KiB/s 00:02 [## ] 14.0%  ….0.0.tar.bz2 8.9MiB 609KiB/s 00:02 [## ] 15.4%  ….0.0.tar.bz2 8.9MiB 609KiB/s 00:03 [### ] 16.8%  ….0.0.tar.bz2 8.9MiB 522KiB/s 00:03 [### ] 18.2%  ….0.0.tar.bz2 8.9MiB 465KiB/s 00:04 [### ] 19.6%  ….0.0.tar.bz2 8.9MiB 495KiB/s 00:04 [#### ] 22.4%  ….0.0.tar.bz2 8.9MiB 515KiB/s 00:04 [#### ] 24.5%  ….0.0.tar.bz2 8.9MiB 559KiB/s 00:05 [##### ] 28.0%  ….0.0.tar.bz2 8.9MiB 554KiB/s 00:05 [##### ] 29.4%  ….0.0.tar.bz2 8.9MiB 566KiB/s 00:05 [##### ] 31.5%  ….0.0.tar.bz2 8.9MiB 568KiB/s 00:05 [##### ] 32.9%  ….0.0.tar.bz2 8.9MiB 564KiB/s 00:06 [###### ] 34.3%  ….0.0.tar.bz2 8.9MiB 514KiB/s 00:06 [###### ] 35.7%  ….0.0.tar.bz2 8.9MiB 490KiB/s 00:07 [###### ] 36.4%  ….0.0.tar.bz2 8.9MiB 502KiB/s 00:07 [###### ] 38.5%  ….0.0.tar.bz2 8.9MiB 500KiB/s 00:07 [####### ] 39.9%  ….0.0.tar.bz2 8.9MiB 507KiB/s 00:08 [####### ] 42.0%  ….0.0.tar.bz2 8.9MiB 540KiB/s 00:08 [######## ] 46.2%  ….0.0.tar.bz2 8.9MiB 566KiB/s 00:08 [######## ] 49.7%  ….0.0.tar.bz2 8.9MiB 583KiB/s 00:08 [######### ] 52.5%  ….0.0.tar.bz2 8.9MiB 628KiB/s 00:08 [########## ] 58.0%  ….0.0.tar.bz2 8.9MiB 655KiB/s 00:09 [########### ] 62.2%  ….0.0.tar.bz2 8.9MiB 682KiB/s 00:09 [########### ] 66.4%  ….0.0.tar.bz2 8.9MiB 701KiB/s 00:09 [############ ] 69.9%  ….0.0.tar.bz2 8.9MiB 732KiB/s 00:09 [############# ] 74.8%  ….0.0.tar.bz2 8.9MiB 762KiB/s 00:10 [############## ] 79.7%  ….0.0.tar.bz2 8.9MiB 768KiB/s 00:10 [############## ] 82.5%  ….0.0.tar.bz2 8.9MiB 781KiB/s 00:10 [############### ] 86.0%  ….0.0.tar.bz2 8.9MiB 790KiB/s 00:10 [############### ] 88.8%  ….0.0.tar.bz2 8.9MiB 733KiB/s 00:11 [################ ] 90.2%  ….0.0.tar.bz2 8.9MiB 736KiB/s 00:11 [################ ] 92.3%  ….0.0.tar.bz2 8.9MiB 745KiB/s 00:12 [################# ] 95.1%  ….0.0.tar.bz2 8.9MiB 753KiB/s 00:12 [################# ] 97.9%  ….0.0.tar.bz2 8.9MiB 754KiB/s 00:12 [##################] 100.0%  ….0.0.tar.bz2 8.9MiB 754KiB/s 00:12 [##################] 100.0%