Mark Caisar and Frama-C as incompatible with Why3 1.7

Author: silene

packages/caisar/caisar.0.2.1/opam

@@ -25,7 +25,7 @@ depends: [
   "yojson" {>= "1.7.0"}
   "menhirLib" {>= "20210310"}
   "csv" {>= "2.4"}
-  "why3" {>= "1.6.0"}
+  "why3" {>= "1.6.0" & < "1.7~"}
   "re" {>= "1.10.4"}
   "fpath" {>= "0.7.3"}
   "yaml" {>= "3.1.0"}

packages/caisar/caisar.0.2/opam

@@ -27,7 +27,7 @@ depends: [
   "menhirLib" {>= "20210310"}
   "ppx_deriving_yojson" {>= "3.6.1"}
   "csv" {>= "2.4"}
-  "why3" {>= "1.6.0"}
+  "why3" {>= "1.6.0" & < "1.7~"}
   "re" {>= "1.10.4"}
   "fpath" {>= "0.7.3"}
   "yaml" {>= "3.1.0"}

packages/frama-c/frama-c.27.0/opam

@@ -128,7 +128,7 @@ depends: [
   "ocamlgraph" { >= "1.8.8" }
   "ocamlgraph" { with-test & < "2.1.0" }
   "odoc" { with-doc }
-  "why3" { >= "1.6.0" }
+  "why3" { >= "1.6.0" & < "1.7~" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }

packages/frama-c/frama-c.27.0~beta/opam

@@ -123,7 +123,7 @@ depends: [
   "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "ocamlgraph" { with-test & < "2.1.0" }
-  "why3" { >= "1.6.0" }
+  "why3" { >= "1.6.0" & < "1.7~" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }

packages/frama-c/frama-c.27.1/opam

@@ -127,7 +127,7 @@ depends: [
   "ocamlgraph" { >= "1.8.8" }
   "ocamlgraph" { with-test & < "2.1.0" }
   "odoc" { with-doc }
-  "why3" { >= "1.6.0" }
+  "why3" { >= "1.6.0" & < "1.7~" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }

packages/frama-c/frama-c.28.0~beta/opam

@@ -132,7 +132,7 @@ depends: [
   "ocamlgraph" { with-test & >= "2.1.0" }
   "odoc" { with-doc }
   "unionFind" { >= "20220107" }
-  "why3" { >= "1.6.0" }
+  "why3" { >= "1.6.0" & < "1.7~" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }