Remove 2.4.0-rocq-prover-dev and 2.5.0-rocq-prover-dev#40

proux01 merged 1 commit intomastermath-comp/docker-mathcomp:masterfrom

2.4.0-rocq-prover-devmath-comp/docker-mathcomp:2.4.0-rocq-prover-devCopy head branch name to clipboard