Commit 80409230 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Bump Why3 version

parent 6052c729
......@@ -124,7 +124,7 @@ ocamlfind.1.8.1 \\\
ocamlgraph.1.8.8 \\\
ppx_deriving_yojson.3.6.1 \\\
ppx_import.1.9.0 \\\
why3.1.5.0 \\\
why3.1.5.1 \\\
yojson.1.7.0 \\\
zarith.1.10 \\\
zmq.5.1.3 \\\
......
......@@ -38,8 +38,8 @@
"why3": {
"branch": "master",
"repo": "https://gitlab.inria.fr/why3/why3.git",
"rev": "d73deb6d1b6bc6f26936c87a0793cd666d9747e1",
"rev": "56dd530f4f63865dc88d8fcd35e2de6cc9a196d0",
"type": "git",
"version": "1.5.0"
"version": "1.5.1"
}
}
......@@ -120,7 +120,7 @@ depends: [
"ocaml" { >= "4.08.1" }
"ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.5.0" }
"why3" { >= "1.5.1" }
"yojson" { >= "1.6.0" & < "2.0.0" }
"zarith" { >= "1.5" }
"ppx_deriving"
......
......@@ -15,7 +15,7 @@ support libraries (notably gtksourceview). lablgtk3 should be preferred.
- ocamlgraph.1.8.8
- ppx_deriving_yojson.3.6.1 (for mdr, optional)
- ppx_import.1.9.1
- why3.1.5.0
- why3.1.5.1
- yojson.1.7.0
- zarith.1.12
......
......@@ -2,7 +2,7 @@
WP Requirements for Qualif Tests
----------------------------------------------------------
1. The Alt-Ergo theorem prover, version 2.2.0
2. The Why3 platform, version 1.5.0
2. The Why3 platform, version 1.5.1
3. The environment variable FRAMAC_WP_CACHEDIR is defined
4. The environment variable FRAMAC_WP_CACHE is defined
----------------------------------------------------------
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment