From 03efab5b7eb7ab19289f80527f20c4155475bbb8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 6 Jul 2021 17:44:33 +0200
Subject: [PATCH] Fix opam version

---
 opam/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam/opam b/opam/opam
index 3fb14aaa567..bba7a550a8c 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: "23.0~rc1"
+version: "23.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