Starting download of /gnu/store/2hfqbdcfq05bybc0kj7cj9hiwqrsjph9-texlive-20180414-source.tar.xz From ftp://tug.org/historic/systems/texlive/2018/texlive-20180414-source.tar.xz...  …4-source.tar.xz 47.5MiB 0B/s 00:00 [ ] 0.0%  …4-source.tar.xz 47.5MiB 1.4MiB/s 00:00 [ ] 0.1%  …4-source.tar.xz 47.5MiB 3.1MiB/s 00:00 [ ] 1.7%  …4-source.tar.xz 47.5MiB 3.5MiB/s 00:00 [ ] 3.4%  …4-source.tar.xz 47.5MiB 3.2MiB/s 00:01 [ ] 4.5%  …4-source.tar.xz 47.5MiB 3.0MiB/s 00:01 [ ] 5.5%  …4-source.tar.xz 47.5MiB 2.8MiB/s 00:01 [# ] 6.5%  …4-source.tar.xz 47.5MiB 2.7MiB/s 00:01 [# ] 7.2%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:01 [# ] 8.2%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:02 [# ] 9.2%  …4-source.tar.xz 47.5MiB 2.5MiB/s 00:02 [# ] 10.3%  …4-source.tar.xz 47.5MiB 2.5MiB/s 00:02 [## ] 11.5%  …4-source.tar.xz 47.5MiB 2.5MiB/s 00:02 [## ] 12.2%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:03 [## ] 13.8%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:03 [## ] 15.1%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:03 [## ] 16.3%  …4-source.tar.xz 47.5MiB 2.6MiB/s 00:03 [### ] 17.2%  …4-source.tar.xz 47.5MiB 2.5MiB/s 00:03 [### ] 18.3%  …4-source.tar.xz 47.5MiB 2.5MiB/s 00:04 [### ] 19.1%  …4-source.tar.xz 47.5MiB 2.4MiB/s 00:04 [### ] 19.8%  …4-source.tar.xz 47.5MiB 2.4MiB/s 00:04 [### ] 20.5%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:04 [### ] 21.2%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:05 [### ] 21.9%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:05 [#### ] 22.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:05 [#### ] 23.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:05 [#### ] 24.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:05 [#### ] 25.3%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:06 [#### ] 26.5%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:06 [#### ] 27.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:06 [##### ] 29.1%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:07 [##### ] 30.0%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:07 [##### ] 30.7%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:07 [##### ] 31.2%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:07 [##### ] 32.0%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:08 [##### ] 32.9%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:08 [###### ] 34.1%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:08 [###### ] 35.2%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:08 [###### ] 36.3%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:08 [###### ] 37.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:09 [####### ] 39.0%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:09 [####### ] 40.0%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:09 [####### ] 41.0%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:09 [####### ] 41.9%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:09 [####### ] 42.7%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:10 [####### ] 43.6%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:10 [####### ] 44.4%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:10 [######## ] 45.4%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:10 [######## ] 46.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:11 [######## ] 48.2%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:11 [######## ] 49.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:11 [######### ] 50.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:11 [######### ] 51.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:11 [######### ] 52.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:12 [######### ] 53.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:12 [######### ] 54.8%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:12 [########## ] 55.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:12 [########## ] 56.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:13 [########## ] 57.9%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:13 [########## ] 59.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:13 [########## ] 60.8%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:13 [########### ] 62.3%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:13 [########### ] 63.3%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:14 [########### ] 64.7%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:14 [########### ] 65.8%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:14 [############ ] 67.0%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:14 [############ ] 68.5%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:14 [############ ] 69.4%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:15 [############ ] 69.9%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:15 [############ ] 70.7%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:15 [############ ] 71.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:15 [############# ] 72.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:16 [############# ] 73.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:16 [############# ] 74.4%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:16 [############# ] 75.6%  …4-source.tar.xz 47.5MiB 2.3MiB/s 00:16 [############# ] 76.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:16 [############# ] 77.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:17 [############## ] 78.3%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:17 [############## ] 79.0%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:17 [############## ] 79.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:17 [############## ] 79.9%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:17 [############## ] 80.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:18 [############## ] 81.4%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:18 [############## ] 82.3%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:18 [############## ] 83.2%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:18 [############### ] 84.3%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:18 [############### ] 85.6%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:19 [############### ] 86.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:19 [############### ] 87.0%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:19 [############### ] 87.8%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:19 [############### ] 88.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:20 [################ ] 89.7%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:20 [################ ] 90.5%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:20 [################ ] 91.3%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:20 [################ ] 91.9%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:20 [################ ] 92.7%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:21 [################ ] 93.8%  …4-source.tar.xz 47.5MiB 2.2MiB/s 00:21 [################# ] 94.8%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:21 [################# ] 95.3%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:21 [################# ] 95.7%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:22 [################# ] 96.3%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:22 [################# ] 96.9%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:22 [################# ] 97.7%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:22 [################# ] 98.5%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:22 [################# ] 99.3%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:23 [##################] 100.0%  …4-source.tar.xz 47.5MiB 2.1MiB/s 00:23 [##################] 100.0%