diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 2d29d396ba77757cb715c31a8045fa68f3cfe302..a9b3d990ff38cf09b80f11d7192e73b3e9ff602c 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"
+version: "dev"
 
 synopsis: "std++ is an extended \"Standard Library\" for Coq"
 description: """