From 63a678f32d9cacbcdcc847a5ea9deb57caeefd25 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 29 Nov 2023 17:50:49 +0100
Subject: [PATCH] update version for final 28.0 release

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

diff --git a/VERSION b/VERSION
index 6c0468589ef..ba70ecb3bfc 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-28.0~beta
+28.0
diff --git a/opam b/opam
index 1ff46030e0d..e97114cfdcc 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: "28.0~beta"
+version: "28.0"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
-- 
GitLab