diff --git a/opam.pins b/opam.pins
index 01c2054ac503af548c7732cce8de0a32d3c2ce7f..5775bb5635d76c552766af51abed9f1e4b87ccd4 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp cb0212005028c40263a9b90d384dba0be849ef39
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 36363712499dbdf7a4cd2acf91877787b839c79a