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.2MiB/s 00:00 [ ] 0.3%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:00 [ ] 3.9%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:00 [# ] 7.8%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [## ] 11.6%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [## ] 15.5%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:01 [### ] 19.1%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:01 [### ] 21.5%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:02 [#### ] 26.6%  ….79.1.tar.bz2 21.0MiB 3.4MiB/s 00:02 [##### ] 29.5%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:02 [###### ] 33.4%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:02 [###### ] 37.3%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:02 [####### ] 41.2%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:03 [######## ] 45.0%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:03 [######## ] 48.9%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:03 [######### ] 52.8%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:03 [########## ] 56.7%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:04 [########## ] 60.6%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:04 [########### ] 64.4%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:04 [############ ] 68.3%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:04 [############ ] 72.2%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:04 [############# ] 76.1%  ….79.1.tar.bz2 21.0MiB 3.7MiB/s 00:05 [############## ] 80.0%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:05 [############## ] 82.9%  ….79.1.tar.bz2 21.0MiB 3.6MiB/s 00:05 [############### ] 85.3%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:05 [############### ] 87.1%  ….79.1.tar.bz2 21.0MiB 3.5MiB/s 00:05 [################ ] 90.1%  ….79.1.tar.bz2 21.0MiB 3.4MiB/s 00:06 [################ ] 92.2%  ….79.1.tar.bz2 21.0MiB 3.4MiB/s 00:06 [################# ] 94.6%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:06 [################# ] 97.0%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:06 [################# ] 99.3%  ….79.1.tar.bz2 21.0MiB 3.3MiB/s 00:06 [##################] 100.0%