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 402KiB/s 00:00 [ ] 0.4%  ….16.1.tar.gz 16.0MiB 526KiB/s 00:00 [ ] 1.2%  ….16.1.tar.gz 16.0MiB 390KiB/s 00:01 [ ] 2.0%  ….16.1.tar.gz 16.0MiB 1.1MiB/s 00:01 [# ] 7.4%  ….16.1.tar.gz 16.0MiB 1.2MiB/s 00:01 [# ] 9.8%  ….16.1.tar.gz 16.0MiB 1.3MiB/s 00:02 [## ] 12.1%  ….16.1.tar.gz 16.0MiB 1.3MiB/s 00:02 [## ] 14.4%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:02 [### ] 16.8%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:02 [### ] 19.1%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:02 [### ] 21.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:03 [#### ] 23.8%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:03 [#### ] 26.2%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:03 [##### ] 28.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:03 [##### ] 30.1%  ….16.1.tar.gz 16.0MiB 1.6MiB/s 00:04 [###### ] 34.0%  ….16.1.tar.gz 16.0MiB 1.6MiB/s 00:04 [###### ] 35.9%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:04 [###### ] 37.9%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:04 [####### ] 39.8%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:04 [####### ] 41.8%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:05 [####### ] 43.7%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:05 [######## ] 45.7%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:05 [######## ] 47.6%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:05 [######## ] 49.6%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:05 [######### ] 51.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:06 [######### ] 53.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:06 [######### ] 54.6%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:06 [########## ] 57.4%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:06 [########## ] 58.9%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:06 [########## ] 60.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:07 [########### ] 62.1%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:07 [########### ] 63.6%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:07 [########### ] 65.6%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:07 [############ ] 67.5%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:08 [############ ] 69.1%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:08 [############ ] 71.0%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:08 [############# ] 73.0%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:08 [############# ] 74.9%  ….16.1.tar.gz 16.0MiB 1.5MiB/s 00:08 [############# ] 76.9%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:09 [############## ] 78.8%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:09 [############## ] 80.8%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:09 [############## ] 82.7%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:09 [############### ] 84.7%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:10 [############### ] 86.7%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:10 [############### ] 88.6%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:10 [################ ] 90.2%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:10 [################ ] 92.1%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:11 [################ ] 94.1%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:11 [################# ] 96.0%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:11 [################# ] 98.0%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:11 [################# ] 99.9%  ….16.1.tar.gz 16.0MiB 1.4MiB/s 00:11 [##################] 100.0%