Starting download of /gnu/store/x52aksni7q6l982mjyqp5gpx9fdzb426-docbook-xsl-1.79.1.tar.bz2 From http://downloads.sourceforge.net/project/docbook/docbook-xsl/1.79.1/docbook-xsl-1.79.1.tar.bz2... following redirection to `https://netcologne.dl.sourceforge.net/project/docbook/docbook-xsl/1.79.1/docbook-xsl-1.79.1.tar.bz2'...  ….79.1.tar.bz2 21.0MiB 0B/s 00:00 [ ] 0.0%  ….79.1.tar.bz2 21.0MiB 2.4MiB/s 00:00 [ ] 0.3%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:00 [ ] 4.2%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:00 [# ] 8.1%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:01 [## ] 11.6%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [## ] 15.8%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [### ] 19.7%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [#### ] 23.3%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:02 [#### ] 27.4%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:02 [##### ] 31.0%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:02 [###### ] 34.3%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:02 [###### ] 36.7%  ….79.1.tar.bz2 21.0MiB 3.4MiB/s 00:02 [###### ] 38.8%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:03 [####### ] 41.5%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:03 [####### ] 44.2%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:03 [######## ] 47.7%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:03 [######### ] 50.4%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:03 [######### ] 53.4%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:04 [########## ] 57.0%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:04 [########## ] 60.6%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:04 [########### ] 64.4%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:04 [############ ] 68.0%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:04 [############ ] 71.3%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:05 [############# ] 74.3%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:05 [############# ] 77.0%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:05 [############## ] 79.7%  ….79.1.tar.bz2 21.0MiB 3.2MiB/s 00:05 [############## ] 82.0%  ….79.1.tar.bz2 21.0MiB 3.2MiB/s 00:06 [############### ] 84.4%  ….79.1.tar.bz2 21.0MiB 3.2MiB/s 00:06 [############### ] 86.8%  ….79.1.tar.bz2 21.0MiB 3.1MiB/s 00:06 [################ ] 88.9%  ….79.1.tar.bz2 21.0MiB 3.1MiB/s 00:06 [################ ] 91.6%  ….79.1.tar.bz2 21.0MiB 3.1MiB/s 00:06 [################ ] 94.0%  ….79.1.tar.bz2 21.0MiB 3.0MiB/s 00:07 [################# ] 96.7%  ….79.1.tar.bz2 21.0MiB 3.0MiB/s 00:07 [################# ] 99.3%  ….79.1.tar.bz2 21.0MiB 3.0MiB/s 00:07 [##################] 100.0%