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 458KiB/s 00:00 [ ] 0.4%  ….16.1.tar.gz 16.0MiB 454KiB/s 00:00 [ ] 1.2%  ….16.1.tar.gz 16.0MiB 461KiB/s 00:01 [ ] 2.0%  ….16.1.tar.gz 16.0MiB 464KiB/s 00:01 [ ] 2.7%  ….16.1.tar.gz 16.0MiB 457KiB/s 00:01 [ ] 3.5%  ….16.1.tar.gz 16.0MiB 465KiB/s 00:02 [ ] 4.3%  ….16.1.tar.gz 16.0MiB 494KiB/s 00:02 [ ] 5.5%  ….16.1.tar.gz 16.0MiB 504KiB/s 00:02 [# ] 6.2%  ….16.1.tar.gz 16.0MiB 506KiB/s 00:02 [# ] 7.0%  ….16.1.tar.gz 16.0MiB 503KiB/s 00:03 [# ] 7.8%  ….16.1.tar.gz 16.0MiB 505KiB/s 00:03 [# ] 8.6%  ….16.1.tar.gz 16.0MiB 512KiB/s 00:03 [# ] 9.4%  ….16.1.tar.gz 16.0MiB 515KiB/s 00:03 [# ] 10.1%  ….16.1.tar.gz 16.0MiB 521KiB/s 00:03 [# ] 10.9%  ….16.1.tar.gz 16.0MiB 520KiB/s 00:04 [## ] 11.7%  ….16.1.tar.gz 16.0MiB 523KiB/s 00:04 [## ] 12.5%  ….16.1.tar.gz 16.0MiB 522KiB/s 00:04 [## ] 13.3%  ….16.1.tar.gz 16.0MiB 524KiB/s 00:04 [## ] 14.1%  ….16.1.tar.gz 16.0MiB 526KiB/s 00:05 [## ] 14.8%  ….16.1.tar.gz 16.0MiB 523KiB/s 00:05 [## ] 15.6%  ….16.1.tar.gz 16.0MiB 523KiB/s 00:05 [## ] 16.4%  ….16.1.tar.gz 16.0MiB 527KiB/s 00:05 [### ] 17.2%  ….16.1.tar.gz 16.0MiB 528KiB/s 00:06 [### ] 18.0%  ….16.1.tar.gz 16.0MiB 531KiB/s 00:06 [### ] 19.1%  ….16.1.tar.gz 16.0MiB 530KiB/s 00:06 [### ] 19.9%  ….16.1.tar.gz 16.0MiB 533KiB/s 00:06 [### ] 20.7%  ….16.1.tar.gz 16.0MiB 533KiB/s 00:07 [### ] 21.5%  ….16.1.tar.gz 16.0MiB 535KiB/s 00:07 [#### ] 22.2%  ….16.1.tar.gz 16.0MiB 536KiB/s 00:07 [#### ] 23.0%  ….16.1.tar.gz 16.0MiB 537KiB/s 00:07 [#### ] 23.8%  ….16.1.tar.gz 16.0MiB 548KiB/s 00:07 [#### ] 25.0%  ….16.1.tar.gz 16.0MiB 558KiB/s 00:08 [#### ] 26.2%  ….16.1.tar.gz 16.0MiB 568KiB/s 00:08 [#### ] 27.3%  ….16.1.tar.gz 16.0MiB 581KiB/s 00:08 [##### ] 28.9%  ….16.1.tar.gz 16.0MiB 596KiB/s 00:08 [##### ] 30.4%  ….16.1.tar.gz 16.0MiB 610KiB/s 00:09 [##### ] 32.0%  ….16.1.tar.gz 16.0MiB 624KiB/s 00:09 [###### ] 33.6%  ….16.1.tar.gz 16.0MiB 642KiB/s 00:09 [###### ] 35.5%  ….16.1.tar.gz 16.0MiB 661KiB/s 00:09 [###### ] 37.5%  ….16.1.tar.gz 16.0MiB 679KiB/s 00:10 [####### ] 39.4%  ….16.1.tar.gz 16.0MiB 698KiB/s 00:10 [####### ] 41.4%  ….16.1.tar.gz 16.0MiB 719KiB/s 00:10 [####### ] 43.7%  ….16.1.tar.gz 16.0MiB 742KiB/s 00:10 [######## ] 46.1%  ….16.1.tar.gz 16.0MiB 769KiB/s 00:10 [######## ] 48.8%  ….16.1.tar.gz 16.0MiB 784KiB/s 00:11 [######### ] 50.7%  ….16.1.tar.gz 16.0MiB 785KiB/s 00:11 [######### ] 52.3%  ….16.1.tar.gz 16.0MiB 808KiB/s 00:11 [######### ] 55.0%  ….16.1.tar.gz 16.0MiB 814KiB/s 00:11 [########## ] 56.6%  ….16.1.tar.gz 16.0MiB 821KiB/s 00:12 [########## ] 58.2%  ….16.1.tar.gz 16.0MiB 827KiB/s 00:12 [########## ] 59.7%  ….16.1.tar.gz 16.0MiB 835KiB/s 00:12 [########### ] 61.3%  ….16.1.tar.gz 16.0MiB 841KiB/s 00:12 [########### ] 62.8%  ….16.1.tar.gz 16.0MiB 835KiB/s 00:12 [########### ] 63.6%  ….16.1.tar.gz 16.0MiB 851KiB/s 00:13 [########### ] 66.0%  ….16.1.tar.gz 16.0MiB 852KiB/s 00:13 [############ ] 67.1%  ….16.1.tar.gz 16.0MiB 858KiB/s 00:13 [############ ] 68.7%  ….16.1.tar.gz 16.0MiB 868KiB/s 00:13 [############ ] 70.6%  ….16.1.tar.gz 16.0MiB 877KiB/s 00:14 [############# ] 72.6%  ….16.1.tar.gz 16.0MiB 886KiB/s 00:14 [############# ] 74.6%  ….16.1.tar.gz 16.0MiB 895KiB/s 00:14 [############# ] 76.5%  ….16.1.tar.gz 16.0MiB 904KiB/s 00:14 [############## ] 78.5%  ….16.1.tar.gz 16.0MiB 912KiB/s 00:14 [############## ] 80.4%  ….16.1.tar.gz 16.0MiB 919KiB/s 00:15 [############## ] 82.4%  ….16.1.tar.gz 16.0MiB 925KiB/s 00:15 [############### ] 84.3%  ….16.1.tar.gz 16.0MiB 930KiB/s 00:15 [############### ] 85.9%  ….16.1.tar.gz 16.0MiB 933KiB/s 00:15 [############### ] 87.4%  ….16.1.tar.gz 16.0MiB 941KiB/s 00:16 [################ ] 89.4%  ….16.1.tar.gz 16.0MiB 947KiB/s 00:16 [################ ] 91.3%  ….16.1.tar.gz 16.0MiB 954KiB/s 00:16 [################ ] 93.3%  ….16.1.tar.gz 16.0MiB 960KiB/s 00:16 [################# ] 95.2%  ….16.1.tar.gz 16.0MiB 965KiB/s 00:17 [################# ] 97.2%  ….16.1.tar.gz 16.0MiB 969KiB/s 00:17 [################# ] 98.8%  ….16.1.tar.gz 16.0MiB 973KiB/s 00:17 [##################] 100.0%