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

version bump + Frama-C dependencies

parent e083f056
No related branches found
No related tags found
No related merge requests found
...@@ -29,7 +29,7 @@ ...@@ -29,7 +29,7 @@
(package (name frama-clang) (package (name frama-clang)
(depends (depends
("frama-c" (and (>= 27.0~) (< 28.0~))) ("frama-c" (and (>= 28.0~) (< 29.0~)))
("zarith" (>= 1.5)) ("zarith" (>= 1.5))
"camlp5" "camlp5"
"camlp-streams" "camlp-streams"
......
...@@ -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.2"} "dune" {>= "3.2"}
"frama-c" {>= "27.0~" & < "28.0~"} "frama-c" {>= "28.0~" & < "29.0~"}
"zarith" {>= "1.5"} "zarith" {>= "1.5"}
"camlp5" "camlp5"
"camlp-streams" "camlp-streams"
...@@ -29,7 +29,7 @@ build: [ ...@@ -29,7 +29,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.14" version: "0.0.15-beta"
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 content ACSL++ annotations. This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
......
name: "frama-clang" name: "frama-clang"
version: "0.0.14" version: "0.0.15-beta"
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 content ACSL++ annotations. This Frama-C plug-in parse C++ files that may content 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