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: Aug 19 2022 at 19:03 UTC