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
Let's fix the link on the community page.
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.
I've pushed an update with the correct link, the website should be updated in 15 minutes or less.
If you notice other broken links let me know (or open PRs if they are in the Coq repo).
I don't know when they will put the archive back.
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