From 5b639faf6f3715764ee7fed7b95132e4b0a28a88 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Jul 2021 13:32:53 +0200
Subject: [PATCH] [opam] Fix opam file version

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

diff --git a/opam/opam b/opam/opam
index 04e23c81a13..4ca43003a0b 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"
+version: "23.1"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
-- 
GitLab