diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7097a6082766dd316146ed0bea2f2f209e4ad301..10442bbec49cb8ee22d5ecd089a318d5324118c8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -70,16 +70,10 @@ build-coq.8.14.1-mr:
     DENY_WARNINGS: "1"
 
 build-coq.8.13.2:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.13.2"
-    DENY_WARNINGS: "1"
-
-build-coq.8.12.2:
   <<: *template
   <<: *branches_and_mr
   variables:
-    OPAM_PINS: "coq version 8.12.2"
+    OPAM_PINS: "coq version 8.13.2"
     DENY_WARNINGS: "1"
 
 # Nightly job with a known-to-work Coq version
diff --git a/README.md b/README.md
index 38c2ac7bfae5d763e97fbf19f54f0ceb7316d350..fd619ee5e3a93146fa1e615a395ab386ee00a409 100644
--- a/README.md
+++ b/README.md
@@ -30,13 +30,12 @@ Importing Iris has some side effects as the library sets some global options.
 
 This version is known to compile with:
 
- - Coq 8.12.2 / 8.13.2 / 8.14.1
+ - Coq 8.13.2 / 8.14.1
  - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
 
-If you need to work with Coq 8.9 or Coq 8.10, you can use the
-[iris-3.3 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.3).
-For a version compatible with Coq 8.11, check out the
-[iris-3.4 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.4).
+If you need to work with older versions of Coq, you can check out the
+[tags](https://gitlab.mpi-sws.org/iris/iris/-/tags) for old Iris releases that
+still support them.
 
 ### Working *with* Iris
 
diff --git a/coq-iris.opam b/coq-iris.opam
index 05175d7c37d44a8c97e33fb9867ea9a10a764578..b6a86fbe233dc169094fcee291377df9e4d152a0 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -27,7 +27,7 @@ tags: [
 ]
 
 depends: [
-  "coq" { (>= "8.12" & < "8.16~") | (= "dev") }
+  "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
   "coq-stdpp" { (= "dev.2021-12-16.0.cf7c2c41") | (= "dev") }
 ]