From 93c0233e3419d329aefb31f06f7e0330138aaa63 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Nov 2024 14:44:05 +0100
Subject: [PATCH] version +dev

---
 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 fe60727..bf8f583 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.8~beta"
+version: "0.8+dev"
 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 0bd4963..9abf245 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.8~beta"
+version: "0.8+dev"
 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