Starting download of /gnu/store/kr9gkchx390ck540srh3rzlpjw33ri79-docbook-xml-4.2.zip
From https://docbook.org/xml/4.2/docbook-xml-4.2.zip...

 docbook-xml-4.2.zip  77KiB               0B/s 00:00 [                  ]   0.0%
 docbook-xml-4.2.zip  77KiB           1.5MiB/s 00:00 [###############   ]  83.6%
 docbook-xml-4.2.zip  77KiB           1.7MiB/s 00:00 [##################] 100.0%