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