diff --git a/dune-project b/dune-project index 781f6d966d13b3653eea2ff5570051191330de08..4c4e12d944f12a4a8981cb0a08979934ea328bb4 100644 --- a/dune-project +++ b/dune-project @@ -29,7 +29,7 @@ (package (name frama-clang) (depends - ("frama-c" (and (>= 27.0~) (< 28.0~))) + ("frama-c" (and (>= 28.0~) (< 29.0~))) ("zarith" (>= 1.5)) "camlp5" "camlp-streams" diff --git a/frama-clang.opam b/frama-clang.opam index afc2cd3bdf887d294e782c33465a42c84e96a967..818912518d576ad717c8c05e11d14f311fe0c581 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.2"} - "frama-c" {>= "27.0~" & < "28.0~"} + "frama-c" {>= "28.0~" & < "29.0~"} "zarith" {>= "1.5"} "camlp5" "camlp-streams" @@ -29,7 +29,7 @@ build: [ ["dune" "install" "-p" name "--create-install-files" name] ] name: "frama-clang" -version: "0.0.14" +version: "0.0.15-beta" synopsis: "Frama-C plug-in based on Clang for parsing C++ files" description: """ This Frama-C plug-in parse C++ files that may content ACSL++ annotations. diff --git a/frama-clang.opam.template b/frama-clang.opam.template index 9d93d7e479565ccab537044844da67bb5be928c5..fb5e85921f85b1fa75d026d44d7d8080ecae6437 100644 --- a/frama-clang.opam.template +++ b/frama-clang.opam.template @@ -1,5 +1,5 @@ name: "frama-clang" -version: "0.0.14" +version: "0.0.15-beta" synopsis: "Frama-C plug-in based on Clang for parsing C++ files" description: """ This Frama-C plug-in parse C++ files that may content ACSL++ annotations.