diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0606bad0c0ce1af6a7e76afc832df41b91f918dd..96faabf15325a37994b5a57f08e76a9386ae8faa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,11 +29,11 @@ variables:
 
 ## Build jobs
 
-# build against known-working Coq 8.15.1
-build-coq.8.15.1:
+# build against known-working Coq 8.16.0
+build-coq.8.16.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.15.1"
+    OPAM_PINS: "coq version 8.16.0"
     DENY_WARNINGS: "1"
     #MANGLE_NAMES: "1"
     #OPAM_PKG: "1"
@@ -44,7 +44,7 @@ build-iris.dev:
   variables:
     STDPP_REPO: "iris/stdpp"
     IRIS_REPO: "iris/iris"
-    OPAM_PINS: "coq version 8.15.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+    OPAM_PINS: "coq version 8.16.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
   except:
   only:
   - triggers
diff --git a/semantics.opam b/semantics.opam
index b2637665bf0ab879e270a38179b0a4e74232977d..28595fcfc687e2d211363946b62d83975450167f 100644
--- a/semantics.opam
+++ b/semantics.opam
@@ -10,7 +10,7 @@ version: "dev"
 
 depends: [
   "coq" { (>= "8.13" & < "8.17~") | (= "dev") }
-  "coq-iris-heap-lang" { (= "dev.2022-09-21.1.291dc89e") | (= "dev") }
+  "coq-iris-heap-lang" { (= "dev.2022-09-29.0.b335afaf") | (= "dev") }
   "coq-equations" { (= "1.2.4+8.13") | (= "1.3+8.14") | (= "1.3+8.15")  | (= "1.3+8.16") }
   "coq-autosubst" { (= "1.7") | (= "dev")  }
 ]