diff --git a/VERSION b/VERSION
index e5b91ee00b743d168313a0cfb2e41ad0d3a42883..8b7373e9b5675e68fb972941751e6ebf731743d7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-30.0~beta
+30.0
diff --git a/ivette/package.json b/ivette/package.json
index eef7a002a74584454b3ca6784498ddeb2089e26a..369ffc110013197a1791b84eaff850e10dbfd960 100644
--- a/ivette/package.json
+++ b/ivette/package.json
@@ -1,7 +1,7 @@
 {
   "name": "ivette",
   "productName": "Ivette",
-  "version": "29.0.0",
+  "version": "30.0.0",
   "repository": "git@git.frama-c.com:frama-c/Ivette.git",
   "author": "Loïc Correnson <loic.correnson@cea.fr>",
   "license": "LGPL-2.1",
diff --git a/opam b/opam
index 0442dc5e7a93942ee615e554864ba814b55cca7d..f6f49c1645ab16e5f033d1312fa9e209de76f218 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"
 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/src/plugins/wp/Warning.mli b/src/plugins/wp/Warning.mli
index 2ebb218cedb02dbc8b8fa0c8b119feb1134ca126..7781a089ce8f3e53341d795abd5585f586ee0ac3 100644
--- a/src/plugins/wp/Warning.mli
+++ b/src/plugins/wp/Warning.mli
@@ -63,7 +63,7 @@ val handle : ?severe:bool -> fallback:string -> handler:('a -> 'b) -> ('a -> 'b)
     if a context has been set.
     Otherwise, a WP-fatal error is raised instead.
     Default for [severe] is false.
-    @before Frama-C+dev [fallback] was [effect]
+    @before 30.0-Zinc [fallback] was [effect]
 *)
 
 type 'a outcome =