diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cf9d562894a1e3173458459a3867b79476ac276a..14df578d617664728d8d72cddbdc8c3f16314ec3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,6 +29,7 @@ variables:
 build-coq.dev:
   <<: *template
   variables:
+    OCAML: "ocaml-base-compiler.4.07.0"
     OPAM_PINS: "coq version dev"
     VALIDATE: "1"