Bas Spitters (Jun 15 2021 at 11:52): Bas Spitters (Jun 15 2021 at 11:52):Looks like they are still unavailable. @Matthieu Sozeau I understand you were looking into it?
https://sympa.inria.fr/sympa/info/coq-club
Matthieu Sozeau (Jun 15 2021 at 13:32):Yep, I just asked them to open it again
Matthieu Sozeau (Jun 16 2021 at 08:54):The archive is open again
Matthieu Sozeau (Jun 16 2021 at 08:55):We might want to move it to https://www.mail-archive.com/, I'll add a point to the Coq Call about it
Last updated: Oct 13 2024 at 01:02 UTC