From fdfd836564cb080dc64b4e6063b65de4a352d7c8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Nov 2024 09:24:49 +0100
Subject: [PATCH] [dev] set version to +dev
---
doc/userman/FCLANG_VERSION | 2 +-
doc/userman/FC_VERSION | 2 +-
frama-clang.opam | 4 ++--
frama-clang.opam.template | 2 +-
4 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/doc/userman/FCLANG_VERSION b/doc/userman/FCLANG_VERSION
index efd25b2b..e97baa16 100644
--- a/doc/userman/FCLANG_VERSION
+++ b/doc/userman/FCLANG_VERSION
@@ -1 +1 @@
-0.0.17~beta
+0.0.17+dev
diff --git a/doc/userman/FC_VERSION b/doc/userman/FC_VERSION
index e5b91ee0..a57e247f 100644
--- a/doc/userman/FC_VERSION
+++ b/doc/userman/FC_VERSION
@@ -1 +1 @@
-30.0~beta
+30.0+dev
diff --git a/frama-clang.opam b/frama-clang.opam
index a8fa5d9f..24d7187d 100644
--- a/frama-clang.opam
+++ b/frama-clang.opam
@@ -3,7 +3,7 @@ opam-version: "2.0"
tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
depends: [
"dune" {>= "3.13" & != "3.13.0"}
- "frama-c" {>= "29.0~" & < "30.0~"}
+ "frama-c" {>= "30.0~" & < "31.0~"}
"zarith" {>= "1.5"}
"camlp5"
"camlp-streams"
@@ -30,7 +30,7 @@ build: [
["dune" "install" "-p" name "--create-install-files" name]
]
name: "frama-clang"
-version: "0.0.17~beta"
+version: "0.0.17+dev"
synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
diff --git a/frama-clang.opam.template b/frama-clang.opam.template
index 1e9dbc78..d9ce12fb 100644
--- a/frama-clang.opam.template
+++ b/frama-clang.opam.template
@@ -1,5 +1,5 @@
name: "frama-clang"
-version: "0.0.17~beta"
+version: "0.0.17+dev"
synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
--
GitLab