diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46f7bbfb4d66dca6fc53fba38e3d29e791f7ab96..1f76dc8c99744405082ba86867f64110833fce1e 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"