From c5a5073761f4b955b06d8a01c01f94169c8762a0 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Tue, 30 Nov 2021 17:25:35 +0100 Subject: [PATCH] Version bump --- ALL_VERSIONS | 1 + VERSION | 2 +- opam/opam | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 731e28b1da1..5c93176a091 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +24.0 (Chromium) 2021, November 30 23.1 (Vanadium) 2021, July 20 23.0 (Vanadium) 2021, July 7 22.0 (Titanium) 2020, November 17 diff --git a/VERSION b/VERSION index 445ab99032f..d9133a54b63 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -24.0~beta +24.0 diff --git a/opam/opam b/opam/opam index 2a7aee3a9c4..8c4fd47361c 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: "24.0~beta" +version: "24.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