Site is down http://web.archive.org/web/20210408142532/https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.html http://web.archive.org/web/20210408142532

Site is down http://web.archive.org/web/20210408142532/https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.html http://web.archive.org/web/20210408142532/https://sympa.inri...