Remove 2.4.0-rocq-prover-dev and 2.5.0-rocq-prover-dev
#40
+2
−2
2.4.0-rocq-prover-dev and 2.5.0-rocq-prover-dev
#40