Update to MathComp 2.5 and rocq-prover

[hivert]

Would it be possible to update this repo to the latest MC and the renaming coq -> roq ? Thanks !

[pi8027]

Docker images for MathComp 2.5 (2.5.0-rocq-prover-9.0 and 2.5.0-rocq-prover-9.1) are already available. They are listed here: https://hub.docker.com/r/mathcomp/mathcomp/tags
Nevertheless, they are not very discoverable since they are not listed in the "Overview" tab: https://hub.docker.com/r/mathcomp/mathcomp
FWIW, I don't know how to update it, and the docker-mathcomp repo currently has no maintainer.

[hivert]

Thanks to the answer. I was indeed looking at the overview...

[ybertot]

I discussed the topic with @Justme0606, and he proposed to look into it.