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