Starting download of /gnu/store/jkyvy12w94sdrdm7nn3li0jlk05aydn7-petsc-lite-3.16.1.tar.gz From http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-lite-3.16.1.tar.gz... following redirection to `https://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-lite-3.16.1.tar.gz'...  ….16.1.tar.gz 16.0MiB 0B/s 00:00 [ ] 0.0%  ….16.1.tar.gz 16.0MiB 475KiB/s 00:00 [ ] 0.4%  ….16.1.tar.gz 16.0MiB 653KiB/s 00:00 [ ] 1.6%  ….16.1.tar.gz 16.0MiB 721KiB/s 00:01 [ ] 2.7%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:01 [# ] 7.4%  ….16.1.tar.gz 16.0MiB 1.6MiB/s 00:01 [# ] 10.5%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:01 [## ] 13.7%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:01 [### ] 16.8%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:02 [### ] 19.9%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:02 [#### ] 23.0%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:02 [#### ] 26.2%  ….16.1.tar.gz 16.0MiB 2.0MiB/s 00:02 [##### ] 29.3%  ….16.1.tar.gz 16.0MiB 2.0MiB/s 00:03 [##### ] 32.0%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:03 [##### ] 32.8%  ….16.1.tar.gz 16.0MiB 2.0MiB/s 00:03 [###### ] 37.5%  ….16.1.tar.gz 16.0MiB 2.0MiB/s 00:03 [####### ] 40.2%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:04 [####### ] 42.5%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:04 [####### ] 43.7%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:04 [######## ] 47.6%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:04 [######## ] 50.0%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:04 [######### ] 52.3%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:05 [######### ] 54.6%  ….16.1.tar.gz 16.0MiB 1.9MiB/s 00:05 [########## ] 57.0%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:05 [########## ] 59.3%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:05 [########### ] 61.7%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:06 [########### ] 64.0%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:06 [########### ] 66.0%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:06 [############ ] 68.3%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:06 [############ ] 70.6%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:06 [############# ] 73.0%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:07 [############# ] 75.3%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:07 [############# ] 77.7%  ….16.1.tar.gz 16.0MiB 1.8MiB/s 00:07 [############## ] 80.0%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:08 [############## ] 81.2%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:08 [############### ] 83.9%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:08 [############### ] 85.9%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:08 [############### ] 87.8%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:08 [################ ] 89.8%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:09 [################ ] 91.7%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:09 [################ ] 93.7%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:09 [################# ] 95.6%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:09 [################# ] 97.6%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:09 [################# ] 99.5%  ….16.1.tar.gz 16.0MiB 1.7MiB/s 00:10 [##################] 100.0%