Stream: math-comp users

Topic: identify math-comp version?


view this post on Zulip Yves Bertot (Mar 05 2021 at 08:22):

What is the technique to know what version of math-comp one is using. I have a student who uses Coq as provided by the coq-8.12 package (installed around october 2020). I would like to know which version of math-comp he is using. What command should I tell him to perform?

view this post on Zulip Théo Zimmermann (Mar 05 2021 at 11:41):

Installed with opam? Or with the Windows installer?

view this post on Zulip Théo Zimmermann (Mar 05 2021 at 11:42):

If it is with opam, opam list should give you the version of all the installed packages.

view this post on Zulip Théo Zimmermann (Mar 05 2021 at 11:43):

If it is the Windows installer for Coq 8.12.0 (given the date), then it's mathcomp-1.11.0 (cf. https://github.com/coq/coq/blob/558e8ea1a3c6241251919d3fde61e91e1717afe6/dev/ci/ci-basic-overlay.sh#L13)

view this post on Zulip Yves Bertot (Mar 05 2021 at 12:17):

Apparently the math-comp version I am looking for is the one that came with the windows installer. Thanks for your answer.

view this post on Zulip Théo Zimmermann (Mar 05 2021 at 12:52):

In the future, when your students install the Coq Platform version X, asking how they installed it won't be necessary anymore because the included package versions will be consistent everywhere (and documented in the platform's documentation).


Last updated: Jan 29 2023 at 19:02 UTC