Starting download of /gnu/store/908jgkffm8br0fkbsq92pd69rkrlbwlh-texlive-20190410-source.tar.xz From ftp://tug.org/historic/systems/texlive/2019/texlive-20190410-source.tar.xz...  …0-source.tar.xz 51.3MiB 0B/s 00:00 [ ] 0.0%  …0-source.tar.xz 51.3MiB 549KiB/s 00:00 [ ] 0.1%  …0-source.tar.xz 51.3MiB 803KiB/s 00:00 [ ] 0.5%  …0-source.tar.xz 51.3MiB 1.4MiB/s 00:01 [ ] 1.5%  …0-source.tar.xz 51.3MiB 2.1MiB/s 00:01 [ ] 2.9%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:01 [ ] 4.4%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:01 [# ] 5.8%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:01 [# ] 7.2%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:02 [# ] 8.5%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:02 [# ] 10.4%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:02 [## ] 11.7%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:02 [## ] 12.9%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:02 [## ] 14.3%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:03 [## ] 15.7%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:03 [### ] 16.9%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:03 [### ] 18.3%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:03 [### ] 19.6%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:04 [### ] 21.0%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:04 [#### ] 22.3%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:04 [#### ] 23.6%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:04 [#### ] 24.9%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:04 [#### ] 25.8%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:05 [#### ] 27.1%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:05 [##### ] 28.4%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:05 [##### ] 29.9%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:05 [##### ] 31.1%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:05 [##### ] 32.3%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:06 [###### ] 33.5%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:06 [###### ] 34.7%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:06 [###### ] 36.2%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:06 [###### ] 37.7%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:06 [####### ] 39.0%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:07 [####### ] 40.7%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:07 [####### ] 41.8%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:07 [####### ] 42.6%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:07 [####### ] 43.4%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:08 [####### ] 44.1%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:08 [######## ] 44.7%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:08 [######## ] 45.1%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:08 [######## ] 45.8%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######## ] 46.3%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:09 [######## ] 46.8%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:09 [######## ] 47.3%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:09 [######## ] 47.8%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:10 [######## ] 48.3%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:10 [######## ] 48.6%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:10 [######## ] 49.0%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:10 [######## ] 49.5%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:11 [######## ] 50.0%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:11 [######### ] 50.4%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:11 [######### ] 50.9%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:11 [######### ] 51.4%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:12 [######### ] 51.9%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:12 [######### ] 52.4%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:12 [######### ] 52.9%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:12 [######### ] 54.5%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:12 [########## ] 56.1%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:13 [########## ] 57.6%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:13 [########## ] 59.2%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:13 [########## ] 60.8%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:13 [########### ] 62.4%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:14 [########### ] 63.9%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:14 [########### ] 65.4%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:14 [############ ] 67.0%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:14 [############ ] 68.6%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:14 [############ ] 70.2%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:15 [############ ] 71.8%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:15 [############# ] 73.4%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:15 [############# ] 74.9%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:15 [############# ] 76.5%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:15 [############## ] 78.1%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:16 [############## ] 79.7%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:16 [############## ] 81.3%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:16 [############## ] 82.9%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:16 [############### ] 84.4%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:17 [############### ] 86.0%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:17 [############### ] 87.6%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:17 [################ ] 89.2%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:17 [################ ] 90.8%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:17 [################ ] 92.4%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:18 [################ ] 93.9%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:18 [################# ] 95.4%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:18 [################# ] 96.8%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:18 [################# ] 97.7%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:18 [################# ] 98.7%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:19 [##################] 100.0%