Starting download of /gnu/store/2zr5w8rqwqpwzhzw4ixfw1rbb889a20c-rustc-1.25.0-src.tar.gz From https://static.rust-lang.org/dist/rustc-1.25.0-src.tar.gz...  …0-src.tar.gz 94.1MiB 0B/s 00:00 [ ] 0.0%  …0-src.tar.gz 94.1MiB 215KiB/s 00:00 [ ] 0.1%  …0-src.tar.gz 94.1MiB 429KiB/s 00:01 [ ] 0.3%  …0-src.tar.gz 94.1MiB 1.2MiB/s 00:01 [ ] 1.1%  …0-src.tar.gz 94.1MiB 3.5MiB/s 00:01 [ ] 4.5%  …0-src.tar.gz 94.1MiB 6.5MiB/s 00:01 [# ] 9.6%  …0-src.tar.gz 94.1MiB 7.1MiB/s 00:02 [## ] 12.4%  …0-src.tar.gz 94.1MiB 8.6MiB/s 00:02 [### ] 17.8%  …0-src.tar.gz 94.1MiB 10.0MiB/s 00:02 [#### ] 22.7%  …0-src.tar.gz 94.1MiB 10.1MiB/s 00:02 [#### ] 25.8%  …0-src.tar.gz 94.1MiB 11.3MiB/s 00:03 [##### ] 31.1%  …0-src.tar.gz 94.1MiB 11.2MiB/s 00:03 [###### ] 33.8%  …0-src.tar.gz 94.1MiB 11.7MiB/s 00:03 [####### ] 39.1%  …0-src.tar.gz 94.1MiB 12.2MiB/s 00:03 [######## ] 44.4%  …0-src.tar.gz 94.1MiB 12.8MiB/s 00:04 [######## ] 49.5%  …0-src.tar.gz 94.1MiB 12.7MiB/s 00:04 [######### ] 52.5%  …0-src.tar.gz 94.1MiB 13.2MiB/s 00:04 [########## ] 57.3%  …0-src.tar.gz 94.1MiB 13.1MiB/s 00:04 [########## ] 60.5%  …0-src.tar.gz 94.1MiB 13.5MiB/s 00:05 [########### ] 65.4%  …0-src.tar.gz 94.1MiB 13.5MiB/s 00:05 [############ ] 68.5%  …0-src.tar.gz 94.1MiB 13.8MiB/s 00:05 [############# ] 73.4%  …0-src.tar.gz 94.1MiB 13.7MiB/s 00:05 [############# ] 76.5%  …0-src.tar.gz 94.1MiB 14.0MiB/s 00:05 [############## ] 81.2%  …0-src.tar.gz 94.1MiB 14.0MiB/s 00:06 [############### ] 84.4%  …0-src.tar.gz 94.1MiB 14.1MiB/s 00:06 [############### ] 88.2%  …0-src.tar.gz 94.1MiB 14.2MiB/s 00:06 [################ ] 92.5%  …0-src.tar.gz 94.1MiB 14.4MiB/s 00:06 [################# ] 97.1%  …0-src.tar.gz 94.1MiB 14.5MiB/s 00:06 [##################] 100.0%