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 333KiB/s 00:00 [ ] 0.1%  …0-source.tar.xz 51.3MiB 945KiB/s 00:00 [ ] 0.7%  …0-source.tar.xz 51.3MiB 1.9MiB/s 00:01 [ ] 2.3%  …0-source.tar.xz 51.3MiB 2.4MiB/s 00:01 [ ] 3.9%  …0-source.tar.xz 51.3MiB 2.7MiB/s 00:01 [ ] 5.5%  …0-source.tar.xz 51.3MiB 2.9MiB/s 00:01 [# ] 7.1%  …0-source.tar.xz 51.3MiB 3.0MiB/s 00:01 [# ] 8.7%  …0-source.tar.xz 51.3MiB 3.2MiB/s 00:02 [# ] 10.2%  …0-source.tar.xz 51.3MiB 3.1MiB/s 00:02 [## ] 11.8%  …0-source.tar.xz 51.3MiB 3.3MiB/s 00:02 [## ] 13.9%  …0-source.tar.xz 51.3MiB 3.4MiB/s 00:02 [## ] 15.5%  …0-source.tar.xz 51.3MiB 3.4MiB/s 00:03 [### ] 17.1%  …0-source.tar.xz 51.3MiB 3.4MiB/s 00:03 [### ] 18.6%  …0-source.tar.xz 51.3MiB 3.5MiB/s 00:03 [### ] 20.2%  …0-source.tar.xz 51.3MiB 3.5MiB/s 00:03 [### ] 21.8%  …0-source.tar.xz 51.3MiB 3.4MiB/s 00:03 [#### ] 23.4%  …0-source.tar.xz 51.3MiB 3.5MiB/s 00:04 [#### ] 25.5%  …0-source.tar.xz 51.3MiB 3.5MiB/s 00:04 [#### ] 27.1%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:04 [##### ] 28.6%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:04 [##### ] 30.2%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:05 [##### ] 31.8%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:05 [###### ] 33.4%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:05 [###### ] 35.0%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:05 [###### ] 36.6%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:05 [###### ] 38.1%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:06 [####### ] 39.7%  …0-source.tar.xz 51.3MiB 3.6MiB/s 00:06 [####### ] 41.3%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:06 [####### ] 42.9%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:06 [######## ] 44.5%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:06 [######## ] 46.1%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:07 [######## ] 47.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:07 [######## ] 49.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:07 [######### ] 50.8%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:07 [######### ] 52.4%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:07 [######### ] 54.0%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:08 [########## ] 55.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:08 [########## ] 57.1%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:08 [########## ] 58.7%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:08 [########## ] 60.3%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:09 [########### ] 61.9%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:09 [########### ] 63.5%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:09 [########### ] 65.1%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:09 [########### ] 66.7%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:09 [############ ] 68.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:10 [############ ] 69.8%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:10 [############ ] 71.4%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:10 [############# ] 73.0%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:10 [############# ] 74.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:10 [############# ] 76.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:11 [############# ] 77.5%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:11 [############## ] 79.1%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:11 [############## ] 80.7%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:11 [############## ] 82.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:12 [############### ] 83.7%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:12 [############### ] 85.5%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:12 [############### ] 86.9%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:12 [############### ] 88.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:12 [################ ] 89.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:13 [################ ] 90.9%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:13 [################ ] 92.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:13 [################ ] 93.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:13 [################# ] 95.0%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:13 [################# ] 96.6%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:14 [################# ] 98.2%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:14 [################# ] 99.8%  …0-source.tar.xz 51.3MiB 3.7MiB/s 00:14 [##################] 100.0%