Skip to content
Snippets Groups Projects
Commit 80d79505 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Why3 bumped to 1.6.0

parent 8af3b143
No related branches found
No related tags found
No related merge requests found
......@@ -121,7 +121,7 @@ depends: [
"ocaml" { >= "4.11.1" }
"ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.5.1" }
"why3" { >= "1.6.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.5" }
......
......@@ -13,6 +13,6 @@ compiling Frama-C+dev.
- ocamlgraph.2.0.0
- ppx_deriving_yojson.3.7.0
- ppx_import.1.10.0
- why3.1.5.1
- why3.1.6.0
- yojson.2.0.2
- zarith.1.12
......@@ -24,6 +24,7 @@
Plugin WP <next-release>
########################
- WP [2023-03-14] Upgrade to Why3 1.6.0
- WP [2023-02-03] new option -wp-why3-extra-config for providing
additional Why3 configuration files
......
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