diff --git a/VERSION b/VERSION
index be8e64f5a38cfeb3e1c58884871821fdedcf09c7..e395c9270cf14da055f641dbad906e581e6d33c7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-25.0
+25.0+dev
diff --git a/opam/opam b/opam/opam
index e65da66328e496b98bfae235fafb89dcb8d67162..e1846cc60b882731bf9e26d4b4277ef37dda1347 100644
--- a/opam/opam
+++ b/opam/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: "25.0~beta"
+version: "25.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
@@ -68,7 +68,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-25.0-beta-Manganese.pdf"
+doc: "http://frama-c.com/download/user-manual-25.0-Manganese.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"