Starting download of /gnu/store/hbvglcizkdpz3gqmzwkq2sfndz7zznlc-openmpi-4.1.3.tar.bz2 From https://www.open-mpi.org/software/ompi/v4.1/downloads/openmpi-4.1.3.tar.bz2... following redirection to `https://download.open-mpi.org/release/open-mpi/v4.1/openmpi-4.1.3.tar.bz2'...  …1.3.tar.bz2 9.6MiB 0B/s 00:00 [ ] 0.0%  …1.3.tar.bz2 9.6MiB 152KiB/s 00:00 [ ] 0.6%  …1.3.tar.bz2 9.6MiB 167KiB/s 00:01 [ ] 1.3%  …1.3.tar.bz2 9.6MiB 170KiB/s 00:01 [ ] 1.9%  …1.3.tar.bz2 9.6MiB 174KiB/s 00:01 [ ] 2.6%  …1.3.tar.bz2 9.6MiB 202KiB/s 00:02 [ ] 3.9%  …1.3.tar.bz2 9.6MiB 207KiB/s 00:02 [ ] 4.5%  …1.3.tar.bz2 9.6MiB 201KiB/s 00:03 [ ] 5.2%  …1.3.tar.bz2 9.6MiB 290KiB/s 00:03 [# ] 8.4%  …1.3.tar.bz2 9.6MiB 323KiB/s 00:03 [# ] 10.4%  …1.3.tar.bz2 9.6MiB 349KiB/s 00:03 [## ] 12.3%  …1.3.tar.bz2 9.6MiB 359KiB/s 00:04 [## ] 13.6%  …1.3.tar.bz2 9.6MiB 368KiB/s 00:04 [## ] 15.6%  …1.3.tar.bz2 9.6MiB 365KiB/s 00:04 [## ] 16.2%  …1.3.tar.bz2 9.6MiB 363KiB/s 00:05 [### ] 17.5%  …1.3.tar.bz2 9.6MiB 360KiB/s 00:05 [### ] 18.8%  …1.3.tar.bz2 9.6MiB 358KiB/s 00:05 [### ] 19.5%  …1.3.tar.bz2 9.6MiB 337KiB/s 00:06 [### ] 20.1%  …1.3.tar.bz2 9.6MiB 354KiB/s 00:06 [### ] 22.1%  …1.3.tar.bz2 9.6MiB 353KiB/s 00:07 [#### ] 23.4%  …1.3.tar.bz2 9.6MiB 351KiB/s 00:07 [#### ] 24.0%  …1.3.tar.bz2 9.6MiB 346KiB/s 00:07 [#### ] 24.7%  …1.3.tar.bz2 9.6MiB 341KiB/s 00:07 [#### ] 25.3%  …1.3.tar.bz2 9.6MiB 340KiB/s 00:08 [#### ] 26.6%  …1.3.tar.bz2 9.6MiB 333KiB/s 00:08 [#### ] 27.3%  …1.3.tar.bz2 9.6MiB 330KiB/s 00:08 [##### ] 27.9%  …1.3.tar.bz2 9.6MiB 328KiB/s 00:09 [##### ] 28.6%  …1.3.tar.bz2 9.6MiB 327KiB/s 00:09 [##### ] 29.2%  …1.3.tar.bz2 9.6MiB 326KiB/s 00:09 [##### ] 29.9%  …1.3.tar.bz2 9.6MiB 325KiB/s 00:09 [##### ] 30.5%  …1.3.tar.bz2 9.6MiB 321KiB/s 00:10 [##### ] 31.2%  …1.3.tar.bz2 9.6MiB 320KiB/s 00:10 [##### ] 31.8%  …1.3.tar.bz2 9.6MiB 318KiB/s 00:10 [##### ] 32.5%  …1.3.tar.bz2 9.6MiB 317KiB/s 00:10 [##### ] 33.1%  …1.3.tar.bz2 9.6MiB 316KiB/s 00:11 [###### ] 33.8%  …1.3.tar.bz2 9.6MiB 314KiB/s 00:11 [###### ] 34.4%  …1.3.tar.bz2 9.6MiB 313KiB/s 00:11 [###### ] 35.1%  …1.3.tar.bz2 9.6MiB 312KiB/s 00:11 [###### ] 35.7%  …1.3.tar.bz2 9.6MiB 312KiB/s 00:11 [###### ] 36.4%  …1.3.tar.bz2 9.6MiB 315KiB/s 00:12 [###### ] 37.7%  …1.3.tar.bz2 9.6MiB 331KiB/s 00:12 [####### ] 40.3%  …1.3.tar.bz2 9.6MiB 377KiB/s 00:12 [######## ] 46.8%  …1.3.tar.bz2 9.6MiB 438KiB/s 00:12 [######### ] 55.2%  …1.3.tar.bz2 9.6MiB 502KiB/s 00:13 [########### ] 64.3%  …1.3.tar.bz2 9.6MiB 563KiB/s 00:13 [############# ] 73.4%  …1.3.tar.bz2 9.6MiB 623KiB/s 00:13 [############## ] 82.5%  …1.3.tar.bz2 9.6MiB 681KiB/s 00:13 [################ ] 91.6%  …1.3.tar.bz2 9.6MiB 733KiB/s 00:13 [##################] 100.0%