diff --git a/coq/ra/Makefile b/coq/ra/Makefile
index 5971295f25b9d782747ca671b6b1042d595989dd..b8a6a2d0df2043dd8b1db752dcd3caef2432da26 100644
--- a/coq/ra/Makefile
+++ b/coq/ra/Makefile
@@ -22,8 +22,8 @@ Makefile.coq: _CoqProject Makefile awk.Makefile
 
 # Install build-dependencies
 build-dep:
-	../build/opam-pins.sh < ../../opam.pins
-	opam upgrade $(YFLAG) # it is not nice that we upgrade *all* packages here, but I found no nice way to upgrade only those that we pinned
+	# ../build/opam-pins.sh < ../../opam.pins
+	# opam upgrade $(YFLAG) # it is not nice that we upgrade *all* packages here, but I found no nice way to upgrade only those that we pinned
 	opam pin add opam-builddep-temp "$$(pwd)/../..#HEAD" -k git -n -y
 	opam install opam-builddep-temp --deps-only $(YFLAG)
 	opam pin remove opam-builddep-temp
diff --git a/opam b/opam
index 69ed1f364f0f765288e0ed5b2e343a1445d352ce..fffa3e0c9a31fac543317a1cdd2122a3fba6ca14 100644
--- a/opam
+++ b/opam
@@ -13,5 +13,5 @@ install: [make "install"]
 # TODO: probably we want to install things to a different folder, "ra" is rather undescriptive
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/ra" ]
 depends: [
-  "coq-iris"
+  "coq-iris" { ="3.0.0." }
 ]
diff --git a/opam.pins b/opam.pins
index ac0de2142e79b964c31a9ec6b9bf98cd8662214d..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +0,0 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 01d12014855abe6adaea20bbb35b1e9beadff14e