diff --git a/opam.pins b/opam.pins
new file mode 100644
index 0000000000000000000000000000000000000000..4bddd14ce4b5f991d74c7e59519454f2e3975cf9
--- /dev/null
+++ b/opam.pins
@@ -0,0 +1 @@
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 4b6af89cc9ca8cdc4cfb25a8fcb35d3c89d92bc6