Commit 600a962a authored by Guillaume Melquiond's avatar Guillaume Melquiond

Mark Why3 as incompatible with OCaml 4.06.

parent 6abe5eb4
......@@ -21,7 +21,7 @@ tags: [
"automated theorem prover"
"interactive theorem prover"
]
available: [ ocaml-version >= "4.02.3" ]
available: [ ocaml-version >= "4.02.3" & ocaml-version < "4.06" ]
# Jessie3 (frama-c plugin) is *disabled* because it is not ready
build: [
......
......@@ -19,7 +19,7 @@ tags: [
"automated theorem prover"
"interactive theorem prover"
]
available: [ ocaml-version >= "4.02.3" ]
available: [ ocaml-version >= "4.02.3" & ocaml-version < "4.06" ]
depends: [
"why3-base" { = "0.88.0" }
"lablgtk"
......
Markdown is supported
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