diff --git a/coq/ra/Makefile b/coq/ra/Makefile
index b8a6a2d0df2043dd8b1db752dcd3caef2432da26..5971295f25b9d782747ca671b6b1042d595989dd 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.pins b/opam.pins
index 37b24384ff19babaaae977d7957569f4702afa45..ea8fd234e35240797ae4301159dc7aa7204e7760 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1,2 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73
\ No newline at end of file
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp a0ce0937cfabe16a184af2d92c0466ebacecbca2
\ No newline at end of file