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 231KiB/s 00:00 [ ] 0.1%  …0-src.tar.gz 94.1MiB 579KiB/s 00:01 [ ] 0.3%  …0-src.tar.gz 94.1MiB 1.1MiB/s 00:01 [ ] 0.9%  …0-src.tar.gz 94.1MiB 2.0MiB/s 00:01 [ ] 2.1%  …0-src.tar.gz 94.1MiB 2.8MiB/s 00:01 [ ] 3.5%  …0-src.tar.gz 94.1MiB 3.4MiB/s 00:01 [ ] 5.1%  …0-src.tar.gz 94.1MiB 2.6MiB/s 00:02 [ ] 5.4%  …0-src.tar.gz 94.1MiB 3.9MiB/s 00:02 [# ] 9.1%  …0-src.tar.gz 94.1MiB 4.3MiB/s 00:02 [# ] 10.8%  …0-src.tar.gz 94.1MiB 4.4MiB/s 00:03 [## ] 12.1%  …0-src.tar.gz 94.1MiB 4.7MiB/s 00:03 [## ] 13.9%  …0-src.tar.gz 94.1MiB 4.8MiB/s 00:03 [## ] 15.2%  …0-src.tar.gz 94.1MiB 4.8MiB/s 00:03 [## ] 16.5%  …0-src.tar.gz 94.1MiB 4.9MiB/s 00:03 [### ] 17.8%  …0-src.tar.gz 94.1MiB 5.0MiB/s 00:04 [### ] 19.1%  …0-src.tar.gz 94.1MiB 5.0MiB/s 00:04 [### ] 20.3%  …0-src.tar.gz 94.1MiB 5.0MiB/s 00:04 [### ] 21.3%  …0-src.tar.gz 94.1MiB 5.1MiB/s 00:04 [#### ] 22.9%  …0-src.tar.gz 94.1MiB 5.2MiB/s 00:04 [#### ] 24.4%  …0-src.tar.gz 94.1MiB 5.3MiB/s 00:05 [#### ] 25.9%  …0-src.tar.gz 94.1MiB 5.4MiB/s 00:05 [#### ] 27.6%  …0-src.tar.gz 94.1MiB 5.5MiB/s 00:05 [##### ] 29.4%  …0-src.tar.gz 94.1MiB 5.6MiB/s 00:05 [##### ] 31.2%  …0-src.tar.gz 94.1MiB 5.6MiB/s 00:05 [##### ] 32.6%  …0-src.tar.gz 94.1MiB 5.7MiB/s 00:06 [###### ] 34.1%  …0-src.tar.gz 94.1MiB 5.8MiB/s 00:06 [###### ] 35.9%  …0-src.tar.gz 94.1MiB 5.8MiB/s 00:06 [###### ] 37.1%  …0-src.tar.gz 94.1MiB 5.8MiB/s 00:06 [###### ] 38.7%  …0-src.tar.gz 94.1MiB 5.8MiB/s 00:06 [####### ] 40.1%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:07 [####### ] 41.5%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:07 [####### ] 42.9%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:07 [######## ] 44.6%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:07 [######## ] 45.6%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:08 [######## ] 46.9%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:08 [######## ] 48.2%  …0-src.tar.gz 94.1MiB 5.8MiB/s 00:08 [######## ] 49.2%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:08 [######### ] 50.8%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:08 [######### ] 52.3%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:09 [######### ] 54.1%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:09 [######### ] 55.3%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:09 [########## ] 56.5%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:09 [########## ] 57.9%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:09 [########## ] 59.3%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:10 [########## ] 60.9%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:10 [########### ] 62.3%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:10 [########### ] 63.8%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:10 [########### ] 65.3%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:10 [############ ] 66.8%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:11 [############ ] 68.3%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:11 [############ ] 69.5%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:11 [############ ] 69.8%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:11 [############ ] 70.6%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:11 [############ ] 72.1%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:12 [############# ] 73.7%  …0-src.tar.gz 94.1MiB 5.9MiB/s 00:12 [############# ] 75.4%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:12 [############# ] 76.9%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:12 [############## ] 78.5%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:13 [############## ] 80.0%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:13 [############## ] 81.2%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:13 [############## ] 82.7%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:13 [############### ] 84.0%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:13 [############### ] 85.7%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:14 [############### ] 87.1%  …0-src.tar.gz 94.1MiB 6.0MiB/s 00:14 [############### ] 88.8%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:14 [################ ] 90.4%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:14 [################ ] 91.6%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:14 [################ ] 93.2%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:15 [################# ] 94.7%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:15 [################# ] 96.2%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:15 [################# ] 97.7%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:15 [################# ] 99.3%  …0-src.tar.gz 94.1MiB 6.1MiB/s 00:15 [##################] 100.0%