diff --git a/opam.pins b/opam.pins
index 4804dd04aa65373d1dceb53c93d25117a7b3e47a..fccfabe033c8f51c5b06fae4dbc010044107cf53 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5c7064e1988fbcdf225f2be658bc3ebd24ef51df
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5061c3cbfe8954faa67dc5eed061c92eaca65308