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 +nan.0TiB/s 00:00 [ ] 0.0%  …0-source.tar.xz 51.3MiB 1.3MiB/s 00:00 [ ] 0.1%  …0-source.tar.xz 51.3MiB 81KiB/s 00:02 [ ] 0.2%  …0-source.tar.xz 51.3MiB 965KiB/s 00:02 [ ] 3.3%  …0-source.tar.xz 51.3MiB 1.4MiB/s 00:02 [# ] 5.6%  …0-source.tar.xz 51.3MiB 855KiB/s 00:04 [# ] 5.7%  …0-source.tar.xz 51.3MiB 1.3MiB/s 00:04 [# ] 9.6%  …0-source.tar.xz 51.3MiB 913KiB/s 00:06 [# ] 9.9%  …0-source.tar.xz 51.3MiB 1.2MiB/s 00:06 [## ] 13.6%  …0-source.tar.xz 51.3MiB 979KiB/s 00:08 [## ] 14.1%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:08 [### ] 16.7%  …0-source.tar.xz 51.3MiB 1018KiB/s 00:09 [### ] 18.3%  …0-source.tar.xz 51.3MiB 1.2MiB/s 00:10 [### ] 21.8%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:12 [#### ] 23.6%  …0-source.tar.xz 51.3MiB 1.2MiB/s 00:12 [#### ] 27.5%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:13 [##### ] 27.9%  …0-source.tar.xz 51.3MiB 995KiB/s 00:15 [##### ] 28.8%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:15 [##### ] 32.3%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:16 [##### ] 33.3%  …0-source.tar.xz 51.3MiB 999KiB/s 00:18 [###### ] 33.6%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:18 [###### ] 36.8%  …0-source.tar.xz 51.3MiB 933KiB/s 00:22 [###### ] 38.3%  …0-source.tar.xz 51.3MiB 1013KiB/s 00:22 [####### ] 41.9%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:22 [####### ] 43.5%  …0-source.tar.xz 51.3MiB 967KiB/s 00:24 [####### ] 43.6%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:24 [######## ] 47.0%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:24 [######## ] 48.6%  …0-source.tar.xz 51.3MiB 990KiB/s 00:26 [######## ] 49.3%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:26 [######### ] 52.8%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:28 [######### ] 54.6%  …0-source.tar.xz 51.3MiB 1.1MiB/s 00:28 [########## ] 58.7%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:30 [########## ] 59.1%  …0-source.tar.xz 51.3MiB 1010KiB/s 00:31 [########## ] 60.1%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:31 [########### ] 63.7%  …0-source.tar.xz 51.3MiB 1019KiB/s 00:33 [########### ] 64.5%  …0-source.tar.xz 51.3MiB 977KiB/s 00:35 [########### ] 65.4%  …0-source.tar.xz 51.3MiB 1024KiB/s 00:35 [############ ] 69.0%  …0-source.tar.xz 51.3MiB 987KiB/s 00:37 [############ ] 69.8%  …0-source.tar.xz 51.3MiB 991KiB/s 00:39 [############# ] 73.0%  …0-source.tar.xz 51.3MiB 990KiB/s 00:40 [############# ] 76.2%  …0-source.tar.xz 51.3MiB 960KiB/s 00:42 [############# ] 77.1%  …0-source.tar.xz 51.3MiB 1000KiB/s 00:42 [############## ] 80.7%  …0-source.tar.xz 51.3MiB 968KiB/s 00:44 [############## ] 81.4%  …0-source.tar.xz 51.3MiB 1004KiB/s 00:44 [############### ] 84.8%  …0-source.tar.xz 51.3MiB 984KiB/s 00:46 [############### ] 86.1%  …0-source.tar.xz 51.3MiB 1021KiB/s 00:46 [################ ] 89.8%  …0-source.tar.xz 51.3MiB 1005KiB/s 00:48 [################ ] 91.3%  …0-source.tar.xz 51.3MiB 990KiB/s 00:49 [################ ] 92.9%  …0-source.tar.xz 51.3MiB 1.0MiB/s 00:49 [################# ] 96.5%  …0-source.tar.xz 51.3MiB 976KiB/s 00:52 [################# ] 97.0%  …0-source.tar.xz 51.3MiB 957KiB/s 00:54 [################# ] 97.8%  …0-source.tar.xz 51.3MiB 976KiB/s 00:54 [##################] 100.0%