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://altushost-swe.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 1.1MiB/s 00:00 [ ] 1.3%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:00 [# ] 7.7%  …17.src.tar.gz 4.9MiB 1.6MiB/s 00:00 [## ] 16.6%  …17.src.tar.gz 4.9MiB 1.6MiB/s 00:01 [#### ] 24.2%  …17.src.tar.gz 4.9MiB 1.5MiB/s 00:01 [##### ] 30.6%  …17.src.tar.gz 4.9MiB 1.5MiB/s 00:01 [###### ] 37.0%  …17.src.tar.gz 4.9MiB 1.5MiB/s 00:01 [####### ] 43.4%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:02 [######## ] 48.5%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:02 [######### ] 53.6%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:02 [########## ] 58.7%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:02 [########### ] 63.8%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:03 [############ ] 70.1%  …17.src.tar.gz 4.9MiB 1.3MiB/s 00:03 [############# ] 75.2%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:03 [############## ] 81.6%  …17.src.tar.gz 4.9MiB 1.3MiB/s 00:03 [############### ] 86.7%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:03 [################ ] 93.1%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:04 [##################] 100.0%  …17.src.tar.gz 4.9MiB 1.4MiB/s 00:04 [##################] 100.0%