On Sat, Sep 23, 2017 at 5:31 PM, Richard Owlett wrote:
I clicked on the links titled
Debian stretch
<https://manpages.debian.org/contents-stretch.html>
Debian stretch-backports
<https://manpages.debian.org/contents-stretch-backports.html>
Neither link responded while similar links for jessie, testing, and unstable
worked as expected.
Both of these work for me now.
What you saw might have been due to the outage this morning:
https://lists.debian.org/msgid-search/20170923054314.dgqdyqsb3356boem@ftbfs.de