From c171716ca114f621e6c900d360a187a49f4e8e28 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Nov 2024 15:11:38 +0100
Subject: [PATCH] version +dev

---
 VERSION                        | 2 +-
 opam                           | 2 +-
 tools/hdrck/frama-c-hdrck.opam | 2 +-
 tools/lint/frama-c-lint.opam   | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/VERSION b/VERSION
index e5b91ee00b..a57e247f64 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-30.0~beta
+30.0+dev
diff --git a/opam b/opam
index 1766c5d6f5..f5d5a70841 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 30cd444cf4..24f75d482f 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 3d7dba41df..943e268f9f 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
-- 
GitLab