diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dd67e296cd04726f326d043d9e21285ec7352b08..d313e459955035ae8060592396b518dce415b567 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,6 +41,11 @@ variables:
 
 ## Build jobs
 
+build-coq.8.15.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.15.dev"
+
 build-coq.8.14.1:
   <<: *template
   variables:
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 1e5f8d626ef442df7e03ee132337e03c85e6ac82..31b25fd3656bfce22e523bdb4a1a0802cf85006b 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -33,7 +33,7 @@ tags: [
 ]
 
 depends: [
-  "coq" { (>= "8.11" & < "8.15~") | (= "dev") }
+  "coq" { (>= "8.11" & < "8.16~") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]