Starting download of /gnu/store/4jbcgv1pcbdrgw3h53j7h1vwdm1p07nf-openblas-0.3.9.tar.gz
From http://downloads.sourceforge.net/project/openblas/v0.3.9/OpenBLAS%200.3.9%20version.tar.gz...
following redirection to `https://iweb.dl.sourceforge.net/project/openblas/v0.3.9/OpenBLAS%200.3.9%20version.tar.gz'...

 …%20version.tar.gz  11.6MiB              0B/s 00:00 [                  ]   0.0%
 …%20version.tar.gz  11.6MiB          265KiB/s 00:00 [                  ]   0.5%
 …%20version.tar.gz  11.6MiB          369KiB/s 00:01 [                  ]   1.6%
 …%20version.tar.gz  11.6MiB          490KiB/s 00:01 [                  ]   3.2%
 …%20version.tar.gz  11.6MiB          554KiB/s 00:01 [                  ]   4.8%
 …%20version.tar.gz  11.6MiB          637KiB/s 00:01 [#                 ]   7.0%
 …%20version.tar.gz  11.6MiB          696KiB/s 00:02 [#                 ]   9.1%
 …%20version.tar.gz  11.6MiB          753KiB/s 00:02 [##                ]  11.3%
 …%20version.tar.gz  11.6MiB          805KiB/s 00:02 [##                ]  13.4%
 …%20version.tar.gz  11.6MiB          880KiB/s 00:02 [##                ]  16.7%
 …%20version.tar.gz  11.6MiB          960KiB/s 00:02 [###               ]  19.9%
 …%20version.tar.gz  11.6MiB         1023KiB/s 00:03 [####              ]  23.1%
 …%20version.tar.gz  11.6MiB          1.1MiB/s 00:03 [####              ]  26.3%
 …%20version.tar.gz  11.6MiB          1.1MiB/s 00:03 [#####             ]  29.0%
 …%20version.tar.gz  11.6MiB          1.2MiB/s 00:03 [#####             ]  33.3%
 …%20version.tar.gz  11.6MiB          1.2MiB/s 00:04 [######            ]  37.1%
 …%20version.tar.gz  11.6MiB          1.3MiB/s 00:04 [#######           ]  40.9%
 …%20version.tar.gz  11.6MiB          1.3MiB/s 00:04 [########          ]  44.6%
 …%20version.tar.gz  11.6MiB          1.3MiB/s 00:04 [########          ]  48.4%
 …%20version.tar.gz  11.6MiB          1.3MiB/s 00:04 [########          ]  50.0%
 …%20version.tar.gz  11.6MiB          1.4MiB/s 00:05 [##########        ]  55.9%
 …%20version.tar.gz  11.6MiB          1.4MiB/s 00:05 [##########        ]  59.1%
 …%20version.tar.gz  11.6MiB          1.4MiB/s 00:05 [###########       ]  62.4%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:05 [###########       ]  65.6%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:05 [############      ]  69.4%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:06 [#############     ]  73.1%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:06 [#############     ]  76.9%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:06 [##############    ]  80.6%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:06 [###############   ]  84.4%
 …%20version.tar.gz  11.6MiB          1.5MiB/s 00:07 [###############   ]  87.1%
 …%20version.tar.gz  11.6MiB          1.6MiB/s 00:07 [################  ]  93.0%
 …%20version.tar.gz  11.6MiB          1.6MiB/s 00:07 [################# ]  96.2%
 …%20version.tar.gz  11.6MiB          1.6MiB/s 00:07 [################# ]  99.5%
 …%20version.tar.gz  11.6MiB          1.6MiB/s 00:07 [##################] 100.0%