diff --git a/doc/userman/FCLANG_VERSION b/doc/userman/FCLANG_VERSION index efd25b2b56c74c4bb7b31f237b3e0d967bb9c05b..e97baa166e2072b8f6ed247d3306b982ebf06933 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 e5b91ee00b743d168313a0cfb2e41ad0d3a42883..a57e247f646b0e639110a468b766c90535a1e51e 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 a8fa5d9f55958d706d15931f66ceeda329bbf87d..24d7187dfc811907427cea38295d7c6c13b4ee42 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 1e9dbc7800e4337208a4f1cb2530787b96bec73f..d9ce12fbe44aeebfd7481b72ebec77370553695a 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.