Stream: Coq users

Topic: Coq-club still down?


view this post on Zulip Paolo Giarrusso (Apr 15 2021 at 15:18):

I'm sure there's been reasons, but will the Coq club archive come back up?

https://sympa.inria.fr/sympa/info/coq-club doesn't link to the archive, and many other links give 403 including the one on https://coq.inria.fr/community

view this post on Zulip Théo Zimmermann (Apr 15 2021 at 15:20):

Let's fix the link on the community page.

view this post on Zulip Théo Zimmermann (Apr 15 2021 at 15:21):

The archive will come back eventually. Inria IT services have taken it down because there was too much traffic coming from HN and this created issues for the whole sympa system.

view this post on Zulip Théo Zimmermann (Apr 15 2021 at 15:23):

I've pushed an update with the correct link, the website should be updated in 15 minutes or less.

view this post on Zulip Théo Zimmermann (Apr 15 2021 at 15:24):

If you notice other broken links let me know (or open PRs if they are in the Coq repo).

view this post on Zulip Théo Zimmermann (Apr 15 2021 at 15:24):

I don't know when they will put the archive back.

view this post on Zulip gallais (Apr 15 2021 at 15:30):

The caml-list archives were down for a bit too but they're back now. So there's movement.


Last updated: Jan 28 2023 at 05:02 UTC