diff --git a/bin/cli.ml b/bin/cli.ml
index c947c328..016c79dd 100644
--- a/bin/cli.ml
+++ b/bin/cli.ml
@@ -18,7 +18,7 @@ let () =
   | [] -> usage ()
   | cmds ->
       let doc = "Run ORTAC." in
-      let version = "ortac version 0.1.0" in
+      let version = "ortac version %%VERSION%%" in
       let info = Cmd.info "ortac" ~doc ~version in
       let group = Cmd.group info cmds in
       Stdlib.exit (Cmd.eval group)
diff --git a/dune-project b/dune-project
index 42d5e08d..8cd96c93 100644
--- a/dune-project
+++ b/dune-project
@@ -3,7 +3,6 @@
 (using mdx 0.4)
 
 (name ortac)
-(version 0.1.0)
 
 (package
  (name ortac-core)
diff --git a/ortac-core.opam b/ortac-core.opam
index 897d743e..8abe7714 100644
--- a/ortac-core.opam
+++ b/ortac-core.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
index 59d8ddca..5dbcd01d 100644
--- a/ortac-qcheck-stm.opam
+++ b/ortac-qcheck-stm.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """\
diff --git a/ortac-runtime.opam b/ortac-runtime.opam
index 67a86b98..c24f029e 100644
--- a/ortac-runtime.opam
+++ b/ortac-runtime.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """\