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 428KiB/s 00:00 [ ] 0.4%  ….16.1.tar.gz 16.0MiB 345KiB/s 00:00 [ ] 0.8%  ….16.1.tar.gz 16.0MiB 361KiB/s 00:01 [ ] 1.6%  ….16.1.tar.gz 16.0MiB 399KiB/s 00:01 [ ] 2.3%  ….16.1.tar.gz 16.0MiB 427KiB/s 00:01 [ ] 3.1%  ….16.1.tar.gz 16.0MiB 454KiB/s 00:01 [ ] 3.9%  ….16.1.tar.gz 16.0MiB 477KiB/s 00:02 [ ] 4.7%  ….16.1.tar.gz 16.0MiB 508KiB/s 00:02 [# ] 5.9%  ….16.1.tar.gz 16.0MiB 539KiB/s 00:02 [# ] 7.0%  ….16.1.tar.gz 16.0MiB 562KiB/s 00:02 [# ] 8.2%  ….16.1.tar.gz 16.0MiB 588KiB/s 00:03 [# ] 9.4%  ….16.1.tar.gz 16.0MiB 572KiB/s 00:03 [# ] 10.5%  ….16.1.tar.gz 16.0MiB 597KiB/s 00:03 [## ] 12.1%  ….16.1.tar.gz 16.0MiB 598KiB/s 00:04 [## ] 12.9%  ….16.1.tar.gz 16.0MiB 600KiB/s 00:04 [## ] 13.7%  ….16.1.tar.gz 16.0MiB 602KiB/s 00:04 [## ] 14.4%  ….16.1.tar.gz 16.0MiB 603KiB/s 00:04 [## ] 15.2%  ….16.1.tar.gz 16.0MiB 607KiB/s 00:04 [## ] 16.4%  ….16.1.tar.gz 16.0MiB 612KiB/s 00:05 [### ] 17.6%  ….16.1.tar.gz 16.0MiB 619KiB/s 00:05 [### ] 18.7%  ….16.1.tar.gz 16.0MiB 621KiB/s 00:05 [### ] 19.9%  ….16.1.tar.gz 16.0MiB 626KiB/s 00:06 [### ] 21.1%  ….16.1.tar.gz 16.0MiB 629KiB/s 00:06 [#### ] 22.2%  ….16.1.tar.gz 16.0MiB 634KiB/s 00:06 [#### ] 23.4%  ….16.1.tar.gz 16.0MiB 637KiB/s 00:06 [#### ] 24.6%  ….16.1.tar.gz 16.0MiB 640KiB/s 00:07 [#### ] 25.8%  ….16.1.tar.gz 16.0MiB 642KiB/s 00:07 [#### ] 26.9%  ….16.1.tar.gz 16.0MiB 646KiB/s 00:07 [##### ] 28.1%  ….16.1.tar.gz 16.0MiB 648KiB/s 00:07 [##### ] 29.3%  ….16.1.tar.gz 16.0MiB 650KiB/s 00:08 [##### ] 30.4%  ….16.1.tar.gz 16.0MiB 652KiB/s 00:08 [##### ] 31.6%  ….16.1.tar.gz 16.0MiB 654KiB/s 00:08 [##### ] 32.8%  ….16.1.tar.gz 16.0MiB 656KiB/s 00:08 [###### ] 34.0%  ….16.1.tar.gz 16.0MiB 657KiB/s 00:09 [###### ] 35.1%  ….16.1.tar.gz 16.0MiB 660KiB/s 00:09 [###### ] 36.3%  ….16.1.tar.gz 16.0MiB 661KiB/s 00:09 [###### ] 37.5%  ….16.1.tar.gz 16.0MiB 664KiB/s 00:10 [###### ] 38.6%  ….16.1.tar.gz 16.0MiB 666KiB/s 00:10 [####### ] 39.8%  ….16.1.tar.gz 16.0MiB 668KiB/s 00:10 [####### ] 41.0%  ….16.1.tar.gz 16.0MiB 664KiB/s 00:10 [####### ] 41.8%  ….16.1.tar.gz 16.0MiB 672KiB/s 00:11 [####### ] 43.3%  ….16.1.tar.gz 16.0MiB 674KiB/s 00:11 [######## ] 44.5%  ….16.1.tar.gz 16.0MiB 674KiB/s 00:11 [######## ] 45.7%  ….16.1.tar.gz 16.0MiB 676KiB/s 00:11 [######## ] 46.8%  ….16.1.tar.gz 16.0MiB 678KiB/s 00:12 [######## ] 48.0%  ….16.1.tar.gz 16.0MiB 680KiB/s 00:12 [######## ] 49.2%  ….16.1.tar.gz 16.0MiB 683KiB/s 00:12 [######### ] 50.4%  ….16.1.tar.gz 16.0MiB 684KiB/s 00:12 [######### ] 51.5%  ….16.1.tar.gz 16.0MiB 687KiB/s 00:13 [######### ] 52.7%  ….16.1.tar.gz 16.0MiB 689KiB/s 00:13 [######### ] 53.9%  ….16.1.tar.gz 16.0MiB 691KiB/s 00:13 [######### ] 55.0%  ….16.1.tar.gz 16.0MiB 693KiB/s 00:13 [########## ] 56.2%  ….16.1.tar.gz 16.0MiB 693KiB/s 00:14 [########## ] 57.4%  ….16.1.tar.gz 16.0MiB 694KiB/s 00:14 [########## ] 58.5%  ….16.1.tar.gz 16.0MiB 695KiB/s 00:14 [########## ] 59.7%  ….16.1.tar.gz 16.0MiB 697KiB/s 00:14 [########## ] 60.9%  ….16.1.tar.gz 16.0MiB 699KiB/s 00:15 [########### ] 62.1%  ….16.1.tar.gz 16.0MiB 700KiB/s 00:15 [########### ] 63.2%  ….16.1.tar.gz 16.0MiB 703KiB/s 00:15 [########### ] 64.4%  ….16.1.tar.gz 16.0MiB 705KiB/s 00:15 [########### ] 65.6%  ….16.1.tar.gz 16.0MiB 707KiB/s 00:15 [############ ] 66.7%  ….16.1.tar.gz 16.0MiB 709KiB/s 00:16 [############ ] 67.9%  ….16.1.tar.gz 16.0MiB 711KiB/s 00:16 [############ ] 69.1%  ….16.1.tar.gz 16.0MiB 713KiB/s 00:16 [############ ] 70.3%  ….16.1.tar.gz 16.0MiB 716KiB/s 00:16 [############ ] 71.4%  ….16.1.tar.gz 16.0MiB 718KiB/s 00:17 [############# ] 72.6%  ….16.1.tar.gz 16.0MiB 720KiB/s 00:17 [############# ] 73.8%  ….16.1.tar.gz 16.0MiB 722KiB/s 00:17 [############# ] 74.9%  ….16.1.tar.gz 16.0MiB 724KiB/s 00:17 [############# ] 76.1%  ….16.1.tar.gz 16.0MiB 726KiB/s 00:17 [############# ] 77.3%  ….16.1.tar.gz 16.0MiB 727KiB/s 00:18 [############## ] 78.5%  ….16.1.tar.gz 16.0MiB 729KiB/s 00:18 [############## ] 79.6%  ….16.1.tar.gz 16.0MiB 730KiB/s 00:18 [############## ] 80.8%  ….16.1.tar.gz 16.0MiB 732KiB/s 00:18 [############## ] 82.0%  ….16.1.tar.gz 16.0MiB 733KiB/s 00:19 [############## ] 83.1%  ….16.1.tar.gz 16.0MiB 735KiB/s 00:19 [############### ] 84.3%  ….16.1.tar.gz 16.0MiB 736KiB/s 00:19 [############### ] 85.5%  ….16.1.tar.gz 16.0MiB 738KiB/s 00:19 [############### ] 86.7%  ….16.1.tar.gz 16.0MiB 739KiB/s 00:19 [############### ] 87.8%  ….16.1.tar.gz 16.0MiB 741KiB/s 00:20 [################ ] 89.0%  ….16.1.tar.gz 16.0MiB 742KiB/s 00:20 [################ ] 90.2%  ….16.1.tar.gz 16.0MiB 744KiB/s 00:20 [################ ] 91.3%  ….16.1.tar.gz 16.0MiB 745KiB/s 00:20 [################ ] 92.5%  ….16.1.tar.gz 16.0MiB 747KiB/s 00:21 [################ ] 93.7%  ….16.1.tar.gz 16.0MiB 750KiB/s 00:21 [################# ] 95.2%  ….16.1.tar.gz 16.0MiB 754KiB/s 00:21 [################# ] 96.8%  ….16.1.tar.gz 16.0MiB 758KiB/s 00:21 [################# ] 98.4%  ….16.1.tar.gz 16.0MiB 762KiB/s 00:21 [################# ] 99.9%  ….16.1.tar.gz 16.0MiB 763KiB/s 00:21 [##################] 100.0%