Stream: math-comp analysis

Topic: Compiling master (as of today)

view this post on Zulip Pierre-Yves Strub (Nov 06 2020 at 18:10):

Which versions of Coq / MathComp / etc... are necessary to compile the master branch?

view this post on Zulip Pierre-Yves Strub (Nov 06 2020 at 19:05):

En fait, le fichier opam est à jour, c'est bon

Last updated: Feb 05 2023 at 07:03 UTC