diff --git a/opam b/opam
index aa657d52d3379fed28b56326fd2fe5961247a757..8d6cdca9527ecb35e5f3dcb7249619bf4e3d339b 100644
--- a/opam
+++ b/opam
@@ -13,5 +13,6 @@ 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" { = "3.0.0" }
+  "coq-iris" #{ = "3.0.0" }
+  "coq-stdpp"
 ]