diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9c89c7202cfdb8422af3f862ecd38d819c73ec2f..8e4adcbd5c49b5c9e3ee61f6d55471976c4d99c6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,11 +29,11 @@ variables:
 
 ## Build jobs
 
-# build against known-working Coq 8.19.2
+# build against known-working Coq 8.20.0
 build-coq.8.19.2:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.19.2"
+    OPAM_PINS: "coq version 8.20.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.19.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.20.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 e2227a49df47273718af94fb534439bf3c359ae2..05534f25b1573a0c459e26cac589a7d74efa1859 100644
--- a/semantics.opam
+++ b/semantics.opam
@@ -11,7 +11,7 @@ version: "dev"
 depends: [
   "coq" { (>= "8.20" & < "8.21~") | (= "dev") }
   "coq-iris-heap-lang" { (= "dev.2024-12-06.1.72e683c9") | (= "dev") }
-  "coq-equations" { (= "1.3+8.19") | (= "1.3.1+8.20") }
+  "coq-equations" { (= "1.3.1+8.20") }
   "coq-autosubst" { (= "1.9") | (= "dev") }
 ]