diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 88d192cfceff3f8ab78cb4533e4f6c4b3fae8fb3..bbb399de879874a92d3d4f9fd09f2c0fb677a9e5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -48,7 +48,7 @@ variables:
 build-coq.dev:
   <<: *template
   variables:
-    OPAM_PINS: "git+https://github.com/SkySkimmer/coq.git#redbaheviour"
+    OPAM_PINS: "git+https://github.com/SkySkimmer/coq.git#redbehaviour-pred"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
     OPAM_PKG: "1"