Which versions of Coq / MathComp / etc... are necessary to compile the master branch?
En fait, le fichier opam est à jour, c'est bon
Last updated: Mar 28 2024 at 23:01 UTC