why3-base is not compatible with ocaml 4.07

ocaml · Apr 12, 2018 · eb4db24 · eb4db24
1 parent 4c74ec1
commit eb4db24
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/packages/why3-base/why3-base.0.88.1/opam b/packages/why3-base/why3-base.0.88.1/opam
@@ -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.07.0" ]
 
 # Jessie3 (frama-c plugin) is *disabled* because it is not ready
 build: [

diff --git a/packages/why3-base/why3-base.0.88.2/opam b/packages/why3-base/why3-base.0.88.2/opam
@@ -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.07.0" ]
 
 # Jessie3 (frama-c plugin) is *disabled* because it is not ready
 build: [

diff --git a/packages/why3-base/why3-base.0.88.3/opam b/packages/why3-base/why3-base.0.88.3/opam
@@ -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.07.0" ]
 
 # Jessie3 (frama-c plugin) is *disabled* because it is not ready
 build: [