Looks like they are still unavailable. @Matthieu Sozeau I understand you were looking into it?
Yep, I just asked them to open it again
The archive is open again
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: May 31 2023 at 02:31 UTC