diff --git a/Makefile b/Makefile
index d7f957a6e40e36fe49bb7e9ca0dec49336f47458..68115fe3bc2fc805a13a854d122b278b2f24a37b 100644
--- a/Makefile
+++ b/Makefile
@@ -37,8 +37,9 @@ Makefile.coq: _CoqProject 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
 	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -n -y
-	opam install coq-lambda-rust --deps-only --criteria="-removed,-notuptodate" $(YLFAG)
+	opam install coq-lambda-rust --deps-only $(YLFAG)
 	opam pin remove coq-lambda-rust
 
 # some fiels that do *not* need to be forwarded to Makefile.coq
diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index e952573636e81572cd9e5de6607331fe326daa33..bae8b6cb741d1fce9d9503f49a3eb605d3203a03 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -16,12 +16,12 @@ test -d "$OPAMROOT/repo/coq-released" || opam repo add coq-released https://coq.
 opam update
 opam install ocamlfind -y # Remove this once the Coq crew fixed their package...
 
-# Install fixed versions of some dependencies
+# Fix versions of some dependencies
 echo
 for PIN in "${@}"
 do
     echo "Applying pin: $PIN"
-    opam pin add $PIN -k version -y
+    opam pin add $PIN -k version -y -n
 done
 
 # Install build-dependencies
diff --git a/opam.pins b/opam.pins
index fae78326c72635dc3580e94e06a42c8829950331..1e8b61f48e978d9a7ae66132d68145ef548452ea 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 86315b423a2bf8826a6d63a90630a239ad3d1823