% docker pull mathcomp/mathcomp:latest-rocq-prover-dev
invalid reference format
% docker pull mathcomp/mathcomp
Using default tag: latest
Error response from daemon: manifest for mathcomp/mathcomp:latest not found: manifest unknown: manifest unknown
% docker pull mathcomp/mathcomp:latest-coq-8.20
latest-coq-8.20: Pulling from mathcomp/mathcomp
af302e5c37e9: Already exists
b13e5cd11792: Pull complete
6f641645493e: Pull complete
7accdb46fa4d: Pull complete
4f4fb700ef54: Pull complete
2827d8d211ea: Pull complete
0aa78356c71c: Pull complete
0f7ac86fa010: Pull complete
Digest: sha256:307fc3c25baa7776af1f02d3a05c6e4f3690065c879dc772a8d09ea59ded2bc3
Status: Downloaded newer image for mathcomp/mathcomp:latest-coq-8.20
docker.io/mathcomp/mathcomp:latest-coq-8.20
% docker pull mathcomp/mathcomp:2.4.0-rocq-prover-dev
2.4.0-rocq-prover-dev: Pulling from mathcomp/mathcomp
254e724d7786: Pull complete
98a3b4305d8b: Pull complete
1b84a4f14d8e: Pull complete
478c3ea2a780: Pull complete
4f4fb700ef54: Pull complete
7ef9d366964a: Pull complete
[...]
