Paolo Giarrusso (Apr 15 2021 at 15:18): 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
Théo Zimmermann (Apr 15 2021 at 15:20):Let's fix the link on the community page.
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.
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.
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).
Théo Zimmermann (Apr 15 2021 at 15:24):I don't know when they will put the archive back.
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: Sep 26 2023 at 11:01 UTC