diff --git a/coq-iris-deprecated.opam b/coq-iris-deprecated.opam
index 8f26f10b81d42b2290352668d853a3ef45cd27a4..76cc7eed1434bca5d9970c4507bbb48cad774844 100644
--- a/coq-iris-deprecated.opam
+++ b/coq-iris-deprecated.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"
 
 synopsis: "Deprecated Iris libraries"
 description: """
diff --git a/coq-iris-heap-lang.opam b/coq-iris-heap-lang.opam
index 7c98a1d3afad868222e43256f99aae58d5f1856a..42bd1d233fbcf786a7337594d837d852b159c0a7 100644
--- a/coq-iris-heap-lang.opam
+++ b/coq-iris-heap-lang.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"
 
 synopsis: "HeapLang is the canonical example language for Iris"
 description: """
diff --git a/coq-iris-staging.opam b/coq-iris-staging.opam
index 75cf7add49e0f6f98268cc24f1fd66b3207273e9..6be6d4d66f89a09edb3234512a316972f4dba4d4 100644
--- a/coq-iris-staging.opam
+++ b/coq-iris-staging.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"
 
 synopsis: "Unfinished Iris libraries"
 description: """
diff --git a/coq-iris.opam b/coq-iris.opam
index 86ff911f3a72446ba9e9dbb1478904dc3e3da808..dbf8491f0e232af2602ba83e14cd35965a38535d 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"
 
 synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs"
 description: """