diff --git a/VERSION b/VERSION
index e5b91ee00b743d168313a0cfb2e41ad0d3a42883..a57e247f646b0e639110a468b766c90535a1e51e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-30.0~beta
+30.0+dev
diff --git a/opam b/opam
index 1766c5d6f542087de3fbc080c16ecac19d8e6dfd..f5d5a7084191190022f775f83384a5c5fb906fb9 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "30.0~beta"
+version: "30.0+dev"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
diff --git a/tools/hdrck/frama-c-hdrck.opam b/tools/hdrck/frama-c-hdrck.opam
index 30cd444cf4345dec593fa5427b98c408db3d8fc4..24f75d482f73995a8cd3fe2ed6cf9d1e2d24f0bf 100644
--- a/tools/hdrck/frama-c-hdrck.opam
+++ b/tools/hdrck/frama-c-hdrck.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c-hdrck"
 synopsis: "Frama-C header check tool"
-version: "30.0"
+version: "30.0+dev"
 description:"""
 Performs all checks related to file headers as required by the Frama-C
 continuous integration.
diff --git a/tools/lint/frama-c-lint.opam b/tools/lint/frama-c-lint.opam
index 3d7dba41dff8e7fab33a4398db8a4492ff8144ca..943e268f9f734345c40c75c574663c8b1606bc9d 100644
--- a/tools/lint/frama-c-lint.opam
+++ b/tools/lint/frama-c-lint.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c-lint"
 synopsis: "Frama-C lint tool"
-version: "30.0"
+version: "30.0+dev"
 description:"""
 Performs all checks related to source code formatting as required by the Frama-C
 continuous integration. Namely: OCP-indent for ML files, clang-format for E-ACSL