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 `http://kumisystems.dl.sourceforge.net/project/doxygen/rel-1.8.17/doxygen-1.8.17.src.tar.gz'...

 …17.src.tar.gz  4.9MiB            +nan.0TiB/s 00:00 [                  ]   0.0%
 …17.src.tar.gz  4.9MiB               337KiB/s 00:00 [                  ]   1.3%
 …17.src.tar.gz  4.9MiB               369KiB/s 00:01 [                  ]   3.8%
 …17.src.tar.gz  4.9MiB               153KiB/s 00:02 [#                 ]   6.4%
 …17.src.tar.gz  4.9MiB               416KiB/s 00:02 [###               ]  19.1%
 …17.src.tar.gz  4.9MiB               552KiB/s 00:03 [#####             ]  28.1%
 …17.src.tar.gz  4.9MiB               539KiB/s 00:03 [#####             ]  30.6%
 …17.src.tar.gz  4.9MiB               576KiB/s 00:03 [######            ]  35.7%
 …17.src.tar.gz  4.9MiB               577KiB/s 00:03 [######            ]  38.3%
 …17.src.tar.gz  4.9MiB               504KiB/s 00:05 [#########         ]  51.0%
 …17.src.tar.gz  4.9MiB               453KiB/s 00:07 [##########        ]  59.9%
 …17.src.tar.gz  4.9MiB               692KiB/s 00:07 [################  ]  94.4%
 …17.src.tar.gz  4.9MiB               732KiB/s 00:07 [##################] 100.0%