Starting download of /gnu/store/m7acd3rwq2jr497dimm1gdx215wrx47y-texlive-20210325-source.tar.xz From ftp://tug.org/historic/systems/texlive/2021/texlive-20210325-source.tar.xz...  …5-source.tar.xz 52.3MiB 0B/s 00:00 [ ] 0.0%  …5-source.tar.xz 52.3MiB 1.2MiB/s 00:00 [ ] 0.1%  …5-source.tar.xz 52.3MiB 3.1MiB/s 00:00 [ ] 1.6%  …5-source.tar.xz 52.3MiB 3.4MiB/s 00:00 [ ] 3.1%  …5-source.tar.xz 52.3MiB 3.4MiB/s 00:01 [ ] 4.4%  …5-source.tar.xz 52.3MiB 3.3MiB/s 00:01 [# ] 5.6%  …5-source.tar.xz 52.3MiB 3.3MiB/s 00:01 [# ] 6.8%  …5-source.tar.xz 52.3MiB 3.2MiB/s 00:01 [# ] 8.0%  …5-source.tar.xz 52.3MiB 3.2MiB/s 00:01 [# ] 9.2%  …5-source.tar.xz 52.3MiB 3.2MiB/s 00:02 [# ] 10.5%  …5-source.tar.xz 52.3MiB 3.3MiB/s 00:02 [## ] 12.1%  …5-source.tar.xz 52.3MiB 3.2MiB/s 00:02 [## ] 13.3%  …5-source.tar.xz 52.3MiB 3.1MiB/s 00:02 [## ] 14.5%  …5-source.tar.xz 52.3MiB 3.1MiB/s 00:03 [## ] 15.4%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:03 [## ] 16.4%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:03 [### ] 17.3%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:03 [### ] 18.3%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:04 [### ] 19.2%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:04 [### ] 20.6%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:04 [### ] 21.9%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:04 [#### ] 23.2%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:04 [#### ] 24.5%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:05 [#### ] 25.8%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:05 [#### ] 27.4%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:05 [##### ] 28.9%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:05 [##### ] 30.1%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:05 [##### ] 31.1%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:06 [##### ] 32.0%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:06 [##### ] 33.0%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:06 [###### ] 33.9%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:06 [###### ] 34.9%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:06 [###### ] 35.9%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:07 [###### ] 36.8%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:07 [###### ] 38.0%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:07 [####### ] 39.6%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:07 [####### ] 41.1%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:08 [####### ] 42.7%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:08 [####### ] 44.1%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:08 [######## ] 45.7%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:08 [######## ] 47.2%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:08 [######## ] 48.5%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:09 [######## ] 49.2%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:09 [######### ] 50.6%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:09 [######### ] 51.5%  …5-source.tar.xz 52.3MiB 3.0MiB/s 00:09 [######### ] 52.5%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:09 [######### ] 53.4%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:10 [######### ] 54.4%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:10 [######### ] 55.2%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:10 [########## ] 56.2%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:10 [########## ] 57.1%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:11 [########## ] 58.1%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:11 [########## ] 59.0%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:11 [########## ] 59.8%  …5-source.tar.xz 52.3MiB 2.9MiB/s 00:11 [########## ] 61.1%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:11 [########### ] 62.0%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:12 [########### ] 63.0%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:12 [########### ] 63.6%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:12 [########### ] 64.3%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:12 [########### ] 65.1%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:13 [########### ] 66.1%  …5-source.tar.xz 52.3MiB 2.8MiB/s 00:13 [############ ] 67.3%  …5-source.tar.xz 52.3MiB 2.7MiB/s 00:13 [############ ] 68.1%  …5-source.tar.xz 52.3MiB 2.7MiB/s 00:13 [############ ] 68.7%  …5-source.tar.xz 52.3MiB 2.7MiB/s 00:13 [############ ] 69.3%  …5-source.tar.xz 52.3MiB 2.7MiB/s 00:14 [############ ] 69.9%  …5-source.tar.xz 52.3MiB 2.7MiB/s 00:14 [############ ] 70.6%  …5-source.tar.xz 52.3MiB 2.6MiB/s 00:14 [############ ] 71.2%  …5-source.tar.xz 52.3MiB 2.6MiB/s 00:14 [############ ] 71.8%  …5-source.tar.xz 52.3MiB 2.6MiB/s 00:15 [############# ] 72.4%  …5-source.tar.xz 52.3MiB 2.6MiB/s 00:15 [############# ] 72.9%  …5-source.tar.xz 52.3MiB 2.6MiB/s 00:15 [############# ] 73.4%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:15 [############# ] 73.9%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:15 [############# ] 75.1%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:16 [############# ] 76.1%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:16 [############# ] 76.8%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:16 [############# ] 77.6%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:16 [############## ] 78.3%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:17 [############## ] 79.0%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:17 [############## ] 79.6%  …5-source.tar.xz 52.3MiB 2.5MiB/s 00:17 [############## ] 80.2%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:17 [############## ] 80.8%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:18 [############## ] 81.4%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:18 [############## ] 82.0%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:18 [############## ] 82.6%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:18 [############## ] 83.2%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:18 [############### ] 83.8%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:19 [############### ] 84.5%  …5-source.tar.xz 52.3MiB 2.4MiB/s 00:19 [############### ] 85.2%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:19 [############### ] 85.9%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:19 [############### ] 86.6%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:20 [############### ] 87.2%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:20 [############### ] 87.5%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:20 [############### ] 88.1%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:20 [############### ] 88.7%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:20 [################ ] 89.3%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:21 [################ ] 89.8%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:21 [################ ] 90.6%  …5-source.tar.xz 52.3MiB 2.3MiB/s 00:21 [################ ] 91.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [################ ] 92.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 92.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 93.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################# ] 94.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################# ] 95.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################# ] 96.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:23 [################# ] 97.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:23 [################# ] 98.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:23 [################# ] 99.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:23 [##################] 100.0%