Starting download of /gnu/store/xsgxdj61whrpvvak9lfr221rw4gmjjb6-doxygen-1.8.17.src.tar.gz
From http://www.doxygen.nl/files/doxygen-1.8.17.src.tar.gz...
following redirection to `https://www.doxygen.nl/files/doxygen-1.8.17.src.tar.gz'...
download failed "https://www.doxygen.nl/files/doxygen-1.8.17.src.tar.gz" 404 "Not Found"

Starting download of /gnu/store/xsgxdj61whrpvvak9lfr221rw4gmjjb6-doxygen-1.8.17.src.tar.gz
From http://downloads.sourceforge.net/project/doxygen/rel-1.8.17/doxygen-1.8.17.src.tar.gz...
following redirection to `https://deac-riga.dl.sourceforge.net/project/doxygen/rel-1.8.17/doxygen-1.8.17.src.tar.gz'...
following redirection to `https://downloads.sourceforge.net/project/doxygen/rel-1.8.17/doxygen-1.8.17.src.tar.gz?download&failedmirror=deac-riga.dl.sourceforge.net'...
following redirection to `https://deac-ams.dl.sourceforge.net/project/doxygen/rel-1.8.17/doxygen-1.8.17.src.tar.gz'...

 …17.src.tar.gz  4.9MiB                   0B/s 00:00 [                  ]   0.0%
 …17.src.tar.gz  4.9MiB               321KiB/s 00:00 [                  ]   1.3%
 …17.src.tar.gz  4.9MiB               435KiB/s 00:00 [                  ]   3.8%
 …17.src.tar.gz  4.9MiB               453KiB/s 00:01 [#                 ]   6.4%
 …17.src.tar.gz  4.9MiB               475KiB/s 00:01 [#                 ]   8.9%
 …17.src.tar.gz  4.9MiB               485KiB/s 00:01 [##                ]  11.5%
 …17.src.tar.gz  4.9MiB               493KiB/s 00:01 [##                ]  14.0%
 …17.src.tar.gz  4.9MiB               494KiB/s 00:02 [##                ]  16.6%
 …17.src.tar.gz  4.9MiB               497KiB/s 00:02 [###               ]  19.1%
 …17.src.tar.gz  4.9MiB               531KiB/s 00:02 [####              ]  23.0%
 …17.src.tar.gz  4.9MiB               563KiB/s 00:02 [####              ]  26.8%
 …17.src.tar.gz  4.9MiB               590KiB/s 00:03 [#####             ]  30.6%
 …17.src.tar.gz  4.9MiB               612KiB/s 00:03 [######            ]  34.4%
 …17.src.tar.gz  4.9MiB               632KiB/s 00:03 [######            ]  38.3%
 …17.src.tar.gz  4.9MiB               649KiB/s 00:03 [#######           ]  42.1%
 …17.src.tar.gz  4.9MiB               664KiB/s 00:03 [########          ]  45.9%
 …17.src.tar.gz  4.9MiB               677KiB/s 00:04 [########          ]  49.7%
 …17.src.tar.gz  4.9MiB               690KiB/s 00:04 [#########         ]  53.6%
 …17.src.tar.gz  4.9MiB               700KiB/s 00:04 [##########        ]  57.4%
 …17.src.tar.gz  4.9MiB               710KiB/s 00:04 [###########       ]  61.2%
 …17.src.tar.gz  4.9MiB               720KiB/s 00:05 [###########       ]  65.0%
 …17.src.tar.gz  4.9MiB               725KiB/s 00:05 [############      ]  68.9%
 …17.src.tar.gz  4.9MiB               744KiB/s 00:05 [#############     ]  74.0%
 …17.src.tar.gz  4.9MiB               771KiB/s 00:05 [##############    ]  80.3%
 …17.src.tar.gz  4.9MiB               796KiB/s 00:05 [###############   ]  86.7%
 …17.src.tar.gz  4.9MiB               817KiB/s 00:06 [################  ]  93.1%
 …17.src.tar.gz  4.9MiB               838KiB/s 00:06 [################# ]  99.5%
 …17.src.tar.gz  4.9MiB               841KiB/s 00:06 [##################] 100.0%