diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 976d5147ba7b96f6f5b39052953260335c10005f..db22c14b77af64d6acc4ade88804b4eab2238f23 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,6 +42,11 @@ variables:
 
 ## Build jobs
 
+build-coq.8.16+rc1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.16+rc1"
+
 build-coq.8.15.1:
   <<: *template
   variables:
diff --git a/coq-iris.opam b/coq-iris.opam
index c7b397154240bbbaeae855f47f936b8b8304ef95..5e3a91ef7875860abbe1274540645ca205631d7d 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -27,8 +27,8 @@ tags: [
 ]
 
 depends: [
-  "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
-  "coq-stdpp" { (= "dev.2022-08-11.3.67890e47") | (= "dev") }
+  "coq" { (>= "8.13" & < "8.17~") | (= "dev") }
+  "coq-stdpp" { (= "dev.2022-08-11.4.409da1f6") | (= "dev") }
 ]
 
 build: ["./make-package" "iris" "-j%{jobs}%"]