diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 31eb7d1bfbb999f6c7b599d65293d6aff8b9db42..157fb782f21be103f03bd68c6997c003d3fa6739 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,7 +40,7 @@ variables:
 build-coq.8.16.patched:
   <<: *template
   variables:
-    OCAML: "ocaml-base-compiler.4.13.0"
+    OCAML: "ocaml-base-compiler.4.14.0"
     OPAM_PINS: "git+https://github.com/gadmm/coq.git#v8.16-better-memory-stats"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"