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 746KiB/s 00:00 [ ] 0.1%  …5-source.tar.xz 52.3MiB 1.2MiB/s 00:00 [ ] 0.7%  …5-source.tar.xz 52.3MiB 1.2MiB/s 00:01 [ ] 1.3%  …5-source.tar.xz 52.3MiB 1.4MiB/s 00:01 [ ] 2.0%  …5-source.tar.xz 52.3MiB 1.5MiB/s 00:01 [ ] 2.9%  …5-source.tar.xz 52.3MiB 1.7MiB/s 00:01 [ ] 3.8%  …5-source.tar.xz 52.3MiB 1.8MiB/s 00:01 [ ] 4.8%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:02 [# ] 5.7%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:02 [# ] 6.7%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:02 [# ] 7.6%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:02 [# ] 8.5%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:02 [# ] 9.6%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:03 [# ] 10.4%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:03 [## ] 11.2%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:03 [## ] 12.1%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:03 [## ] 12.9%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:04 [## ] 13.7%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:04 [## ] 14.6%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:04 [## ] 15.4%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:04 [## ] 16.3%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:04 [### ] 17.1%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:05 [### ] 17.9%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:05 [### ] 18.8%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:05 [### ] 19.5%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:05 [### ] 20.2%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:05 [### ] 21.2%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:06 [#### ] 22.2%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:06 [#### ] 23.3%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:06 [#### ] 24.4%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:06 [#### ] 25.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:07 [#### ] 26.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:07 [#### ] 27.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:07 [##### ] 28.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:07 [##### ] 29.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:07 [##### ] 30.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:08 [##### ] 31.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:08 [##### ] 32.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:08 [###### ] 33.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:08 [###### ] 34.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:08 [###### ] 35.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:09 [###### ] 36.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:09 [###### ] 38.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:09 [####### ] 39.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:09 [####### ] 39.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:10 [####### ] 40.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:10 [####### ] 41.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:10 [####### ] 42.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:10 [####### ] 43.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:11 [####### ] 44.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:11 [######## ] 44.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:11 [######## ] 45.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:11 [######## ] 46.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:11 [######## ] 47.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:12 [######## ] 47.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:12 [######## ] 48.6%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:12 [######## ] 49.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:12 [######### ] 50.3%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:12 [######### ] 51.2%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:13 [######### ] 52.0%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:13 [######### ] 52.8%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:13 [######### ] 53.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:13 [######### ] 54.4%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:14 [######### ] 55.2%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:14 [########## ] 56.1%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:14 [########## ] 57.0%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:14 [########## ] 58.1%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:14 [########## ] 59.2%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:15 [########## ] 60.2%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:15 [########### ] 61.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:15 [########### ] 62.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:15 [########### ] 63.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:16 [########### ] 64.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:16 [########### ] 65.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:16 [########### ] 66.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:16 [############ ] 67.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:16 [############ ] 68.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:17 [############ ] 69.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:17 [############ ] 70.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:17 [############ ] 71.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:17 [############# ] 72.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:17 [############# ] 73.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:18 [############# ] 74.1%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:18 [############# ] 74.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:18 [############# ] 75.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:18 [############# ] 76.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:18 [############# ] 77.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:19 [############## ] 78.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:19 [############## ] 79.1%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:19 [############## ] 80.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:19 [############## ] 80.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:20 [############## ] 81.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:20 [############## ] 82.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:20 [############## ] 83.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:20 [############### ] 84.0%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:20 [############### ] 84.9%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [############### ] 85.7%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [############### ] 86.5%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [############### ] 87.4%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [############### ] 88.2%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:21 [############### ] 88.8%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 89.6%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 90.3%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 91.1%  …5-source.tar.xz 52.3MiB 2.2MiB/s 00:22 [################ ] 91.8%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:23 [################ ] 92.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:23 [################ ] 93.2%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:23 [################ ] 93.9%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:23 [################# ] 94.5%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:23 [################# ] 94.8%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:24 [################# ] 95.1%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:24 [################# ] 95.4%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:24 [################# ] 95.8%  …5-source.tar.xz 52.3MiB 2.1MiB/s 00:24 [################# ] 96.2%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:25 [################# ] 96.6%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:25 [################# ] 96.9%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:25 [################# ] 97.3%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:25 [################# ] 97.6%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:26 [################# ] 97.9%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:26 [################# ] 98.1%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:26 [################# ] 98.4%  …5-source.tar.xz 52.3MiB 2.0MiB/s 00:26 [################# ] 98.7%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:27 [################# ] 99.1%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:27 [################# ] 99.4%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:27 [################# ] 99.8%  …5-source.tar.xz 52.3MiB 1.9MiB/s 00:27 [##################] 100.0%