From 48d43be5d6766f88722320ac3b0dc23331af0860 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 15 May 2023 14:05:29 +0200
Subject: [PATCH] Set beta

---
 VERSION | 2 +-
 opam    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index a0d6856dbee..f4831f63bed 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-27.0
+27.0~beta
diff --git a/opam b/opam
index 91fb1659288..89620c900f4 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: "27.0"
+version: "27.0~beta"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
@@ -70,7 +70,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-27.0-Cobalt.pdf"
+doc: "http://frama-c.com/download/user-manual-27.0-beta-Cobalt.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
-- 
GitLab