Skip to content
Snippets Groups Projects
Commit fdfd8365 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[dev] set version to +dev

parent 805c24f1
No related branches found
No related tags found
No related merge requests found
0.0.17~beta 0.0.17+dev
30.0~beta 30.0+dev
...@@ -3,7 +3,7 @@ opam-version: "2.0" ...@@ -3,7 +3,7 @@ opam-version: "2.0"
tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"] tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
depends: [ depends: [
"dune" {>= "3.13" & != "3.13.0"} "dune" {>= "3.13" & != "3.13.0"}
"frama-c" {>= "29.0~" & < "30.0~"} "frama-c" {>= "30.0~" & < "31.0~"}
"zarith" {>= "1.5"} "zarith" {>= "1.5"}
"camlp5" "camlp5"
"camlp-streams" "camlp-streams"
...@@ -30,7 +30,7 @@ build: [ ...@@ -30,7 +30,7 @@ build: [
["dune" "install" "-p" name "--create-install-files" name] ["dune" "install" "-p" name "--create-install-files" name]
] ]
name: "frama-clang" 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" synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """ description: """
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations. This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
......
name: "frama-clang" 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" synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """ description: """
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations. This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment