From 3c771013368f432cce234e4d16c36adcc53d746a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 7 Nov 2023 16:58:53 +0100
Subject: [PATCH] v.0.5

---
 frama-c-metacsl.opam          | 2 +-
 frama-c-metacsl.opam.template | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/frama-c-metacsl.opam b/frama-c-metacsl.opam
index 55467b1..c1582c4 100644
--- a/frama-c-metacsl.opam
+++ b/frama-c-metacsl.opam
@@ -36,7 +36,7 @@ build: [
 ]
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.5~beta"
+version: "0.5"
 description:"""
 MetAcsl let users write properties that need to be checked at particular
 contexts (e.g. each time a location is written to inside a given set
diff --git a/frama-c-metacsl.opam.template b/frama-c-metacsl.opam.template
index d8ca6b4..3c588d1 100644
--- a/frama-c-metacsl.opam.template
+++ b/frama-c-metacsl.opam.template
@@ -1,6 +1,6 @@
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.5~beta"
+version: "0.5"
 description:"""
 MetAcsl let users write properties that need to be checked at particular
 contexts (e.g. each time a location is written to inside a given set
-- 
GitLab