1 files changed, 2 insertions, 0 deletions
diff --git a/coq.opam b/coq.opam
index 585e9df789..4399dafe7c 100644
--- a/coq.opam
+++ b/coq.opam
@@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
+version: "dev"
+
 depends: [
   "ocaml"     {         >= "4.05.0" }
   "dune"      { build & >= "1.10.0"  }