diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index bae8b6cb741d1fce9d9503f49a3eb605d3203a03..e952573636e81572cd9e5de6607331fe326daa33 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...
 
-# Fix versions of some dependencies
+# Install fixed versions of some dependencies
 echo
 for PIN in "${@}"
 do
     echo "Applying pin: $PIN"
-    opam pin add $PIN -k version -y -n
+    opam pin add $PIN -k version -y
 done
 
 # Install build-dependencies
diff --git a/opam.pins b/opam.pins
index 1e8b61f48e978d9a7ae66132d68145ef548452ea..fae78326c72635dc3580e94e06a42c8829950331 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 86315b423a2bf8826a6d63a90630a239ad3d1823
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26