Starting download of /gnu/store/mv8xdccch2slqxswqhr86b3b1rcwj7hj-krb5-1.20.tar.gz From https://web.mit.edu/kerberos/dist/krb5/1.20/krb5-1.20.tar.gz...  krb5-1.20.tar.gz 8.3MiB 0B/s 00:00 [ ] 0.0%  krb5-1.20.tar.gz 8.3MiB 3.7MiB/s 00:00 [ ] 0.8%  krb5-1.20.tar.gz 8.3MiB 3.5MiB/s 00:00 [# ] 9.8%  krb5-1.20.tar.gz 8.3MiB 3.5MiB/s 00:00 [### ] 18.9%  krb5-1.20.tar.gz 8.3MiB 3.3MiB/s 00:01 [#### ] 26.5%  krb5-1.20.tar.gz 8.3MiB 2.9MiB/s 00:01 [##### ] 31.0%  krb5-1.20.tar.gz 8.3MiB 2.8MiB/s 00:01 [###### ] 36.3%  krb5-1.20.tar.gz 8.3MiB 2.8MiB/s 00:01 [####### ] 43.1%  krb5-1.20.tar.gz 8.3MiB 2.8MiB/s 00:02 [######### ] 50.7%  krb5-1.20.tar.gz 8.3MiB 2.8MiB/s 00:02 [########## ] 57.5%  krb5-1.20.tar.gz 8.3MiB 2.7MiB/s 00:02 [########### ] 63.6%  krb5-1.20.tar.gz 8.3MiB 2.6MiB/s 00:02 [############ ] 68.9%  krb5-1.20.tar.gz 8.3MiB 2.6MiB/s 00:02 [############# ] 73.4%  krb5-1.20.tar.gz 8.3MiB 2.5MiB/s 00:03 [############## ] 77.9%  krb5-1.20.tar.gz 8.3MiB 2.5MiB/s 00:03 [############## ] 82.5%  krb5-1.20.tar.gz 8.3MiB 2.4MiB/s 00:03 [############### ] 87.8%  krb5-1.20.tar.gz 8.3MiB 2.4MiB/s 00:03 [################ ] 93.1%  krb5-1.20.tar.gz 8.3MiB 2.4MiB/s 00:03 [################# ] 98.4%  krb5-1.20.tar.gz 8.3MiB 2.4MiB/s 00:03 [##################] 100.0%