Starting download of /gnu/store/9v3l938cfi0r68vygafk67qjb2p82aid-openmpi-4.1.5.tar.bz2 From https://www.open-mpi.org/software/ompi/v4.1/downloads/openmpi-4.1.5.tar.bz2... following redirection to `https://download.open-mpi.org/release/open-mpi/v4.1/openmpi-4.1.5.tar.bz2'...  …1.5.tar.bz2 9.6MiB 0B/s 00:00 [ ] 0.0%  …1.5.tar.bz2 9.6MiB 2.9MiB/s 00:00 [ ] 0.7%  …1.5.tar.bz2 9.6MiB 2.8MiB/s 00:00 [# ] 7.2%  …1.5.tar.bz2 9.6MiB 2.6MiB/s 00:00 [## ] 12.4%  …1.5.tar.bz2 9.6MiB 2.4MiB/s 00:01 [### ] 17.0%  …1.5.tar.bz2 9.6MiB 2.3MiB/s 00:01 [### ] 21.5%  …1.5.tar.bz2 9.6MiB 2.1MiB/s 00:01 [#### ] 24.8%  …1.5.tar.bz2 9.6MiB 2.0MiB/s 00:01 [#### ] 27.4%  …1.5.tar.bz2 9.6MiB 1.8MiB/s 00:02 [##### ] 30.0%  …1.5.tar.bz2 9.6MiB 1.6MiB/s 00:02 [##### ] 32.0%  …1.5.tar.bz2 9.6MiB 1.5MiB/s 00:02 [##### ] 33.3%  …1.5.tar.bz2 9.6MiB 1.5MiB/s 00:02 [###### ] 34.6%  …1.5.tar.bz2 9.6MiB 1.4MiB/s 00:02 [###### ] 35.9%  …1.5.tar.bz2 9.6MiB 1.3MiB/s 00:03 [###### ] 37.2%  …1.5.tar.bz2 9.6MiB 1.3MiB/s 00:03 [####### ] 40.4%  …1.5.tar.bz2 9.6MiB 1.5MiB/s 00:03 [######## ] 48.3%  …1.5.tar.bz2 9.6MiB 1.6MiB/s 00:03 [########## ] 56.1%  …1.5.tar.bz2 9.6MiB 1.7MiB/s 00:04 [########### ] 63.9%  …1.5.tar.bz2 9.6MiB 1.8MiB/s 00:04 [############ ] 71.8%  …1.5.tar.bz2 9.6MiB 1.9MiB/s 00:04 [############## ] 79.6%  …1.5.tar.bz2 9.6MiB 2.0MiB/s 00:04 [############### ] 87.4%  …1.5.tar.bz2 9.6MiB 2.1MiB/s 00:04 [################# ] 95.2%  …1.5.tar.bz2 9.6MiB 2.1MiB/s 00:04 [##################] 100.0%