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 775KiB/s 00:00 [ ] 0.1%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:00 [ ] 0.6%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:01 [ ] 1.1%  …0-source.tar.xz 51.3MiB 1.2MiB/s 00:01 [ ] 1.7%  …0-source.tar.xz 51.3MiB 1.2MiB/s 00:01 [ ] 2.3%  …0-source.tar.xz 51.3MiB 1.3MiB/s 00:01 [ ] 2.9%  …0-source.tar.xz 51.3MiB 1.6MiB/s 00:01 [ ] 4.4%  …0-source.tar.xz 51.3MiB 1.8MiB/s 00:02 [# ] 5.8%  …0-source.tar.xz 51.3MiB 2.0MiB/s 00:02 [# ] 7.3%  …0-source.tar.xz 51.3MiB 2.2MiB/s 00:02 [# ] 8.8%  …0-source.tar.xz 51.3MiB 2.3MiB/s 00:02 [# ] 10.2%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:02 [## ] 11.7%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:03 [## ] 13.0%  …0-source.tar.xz 51.3MiB 2.5MiB/s 00:03 [## ] 14.4%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:03 [## ] 15.7%  …0-source.tar.xz 51.3MiB 2.6MiB/s 00:03 [### ] 17.1%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:04 [### ] 18.4%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:04 [### ] 20.0%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:04 [### ] 21.3%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:04 [#### ] 22.7%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:04 [#### ] 24.1%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:05 [#### ] 25.6%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:05 [#### ] 26.9%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:05 [##### ] 28.1%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:05 [##### ] 29.4%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:05 [##### ] 30.6%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:06 [##### ] 31.8%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:06 [##### ] 33.0%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:06 [###### ] 34.2%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:06 [###### ] 35.5%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:06 [###### ] 36.7%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:07 [###### ] 37.8%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:07 [####### ] 39.0%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:07 [####### ] 40.2%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:07 [####### ] 41.4%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:08 [####### ] 42.6%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:08 [####### ] 43.5%  …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.6%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:08 [######## ] 46.2%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######## ] 47.3%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######## ] 48.0%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######## ] 48.9%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######## ] 50.0%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:09 [######### ] 51.3%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:10 [######### ] 52.9%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:10 [######### ] 54.5%  …0-source.tar.xz 51.3MiB 2.8MiB/s 00:10 [########## ] 56.1%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:10 [########## ] 57.6%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:11 [########## ] 59.2%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:11 [########## ] 60.8%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:11 [########### ] 62.4%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:11 [########### ] 64.0%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:11 [########### ] 65.6%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:12 [############ ] 67.1%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:12 [############ ] 68.7%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:12 [############ ] 70.3%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:12 [############ ] 71.9%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:12 [############# ] 73.5%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:13 [############# ] 74.9%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:13 [############# ] 76.2%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:13 [############# ] 77.7%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:13 [############## ] 79.3%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:13 [############## ] 80.9%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:14 [############## ] 82.5%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:14 [############### ] 84.1%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:14 [############### ] 85.7%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:14 [############### ] 87.2%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:15 [############### ] 88.8%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:15 [################ ] 90.4%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:15 [################ ] 92.0%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:15 [################ ] 93.6%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:15 [################# ] 95.2%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:16 [################# ] 96.8%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:16 [################# ] 98.3%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:16 [################# ] 99.9%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:16 [##################] 100.0%