doxygen port missing?

[Fielding, Eric J (329A)]

I just ran port selfupdate and upgrade outdated on my El Capitan system, and it failed to download the “doxygen” port from all of the servers (about two dozen attempts). They all looked like this:
Attempting to fetch doxygen-1.8.13_0.darwin_15.x86_64.tbz2 from https://packages.macports.org/doxygen

All the other ports were OK, so I wonder if something is misconfigured somewhere?

Thanks,
                ++Eric
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-users/attachments/20170106/ef5c4e76/attachment.html>