diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0cad7399cfd75df132ef5c63b52f767bd46e08c4..6a8f19d07f4cd2ece94413db2fa8b555b21736f7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,7 +58,7 @@ build-coq.8.10.2:
 build-stdpp.dev-coq.8.11.2:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.11.2   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+    OPAM_PINS: "coq version 8.12.1   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
   except:
   only:
   - triggers
@@ -69,7 +69,7 @@ build-stdpp.dev-coq.8.11.2:
 build-stdpp.dev-coq.8.12.dev:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.12.dev   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+    OPAM_PINS: "coq version 8.13.dev   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
     CI_COQCHK: "1"
   except:
   only:
diff --git a/coq-iris.opam b/coq-iris.opam
index 9951f6e185b281c0d0594f94bbeab5b0001df979..bed4bfb727fce02ad277b9168d6bf049bd734219 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -13,7 +13,7 @@ iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_lo
 """
 
 depends: [
-  "coq" { (>= "8.10.2" & < "8.13~") | (= "dev") }
+  "coq" { (>= "8.10.2" & < "8.14~") | (= "dev") }
   "coq-stdpp" { (= "dev.2020-11-11.2.6385b547") | (= "dev") }
 ]