Put an upper bound on Why3's reverse dependencies.

silene · silene · commit 9945599fdcd9 · 2023-03-07T11:21:18.000+01:00
diff --git a/packages/caisar/caisar.0.1/opam b/packages/caisar/caisar.0.1/opam
@@ -27,7 +27,7 @@ depends: [
   "menhirLib" {>= "20210310"}
   "ppx_deriving_yojson" {>= "3.6.1"}
   "csv" {>= "2.4"}
-  "why3" {>= "1.5.0"}
+  "why3" {>= "1.5.0" & < "1.6~"}
   "re" {>= "1.10.4"}
   "caisar-nnet" {= version}
   "caisar-ovo" {= version}
diff --git a/packages/frama-c/frama-c.25.0/opam b/packages/frama-c/frama-c.25.0/opam
@@ -121,7 +121,7 @@ depends: [
   "ppx_deriving"
   "ppx_deriving_yojson"
   "ppx_import" {>= "1.8.0" & < "2.0"}
-  "why3" { >= "1.5.0" }
+  "why3" {>= "1.5.0" & < "1.6~"}
   "yojson" {>= "1.6.0" & ( < "2.0.0" | ! with-test) }
   "zarith" {>= "1.5"}
 ]
diff --git a/packages/frama-c/frama-c.25.0~beta/opam b/packages/frama-c/frama-c.25.0~beta/opam
@@ -118,7 +118,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.0" & < "1.6~"}
   "yojson" {>= "1.6.0" & ( < "2.0.0" | ! with-test)}
   "zarith" {>= "1.5"}
   "ppx_deriving"
diff --git a/packages/frama-c/frama-c.26.0/opam b/packages/frama-c/frama-c.26.0/opam
@@ -118,7 +118,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.5.1" & < "1.6~"}
   "yojson" {>= "1.6.0" & (< "2.0.0" | !with-test)}
   "zarith" { >= "1.5" }
 
diff --git a/packages/frama-c/frama-c.26.0~beta/opam b/packages/frama-c/frama-c.26.0~beta/opam
@@ -120,7 +120,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.5.1" & < "1.6~"}
   "yojson" {>= "1.6.0" & ( < "2.0.0" | ! with-test)}
   "zarith" { >= "1.5" }
 
diff --git a/packages/frama-c/frama-c.26.1/opam b/packages/frama-c/frama-c.26.1/opam
@@ -119,7 +119,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.5.1" & < "1.6~"}
   "yojson" {>= "1.6.0" & (< "2.0.0" | !with-test)}
   "zarith" { >= "1.5" }
 
diff --git a/packages/lambdapi/lambdapi.2.2.1/opam b/packages/lambdapi/lambdapi.2.2.1/opam
@@ -56,7 +56,7 @@ depends: [
   "timed" {>= "1.0"}
   "pratter" {>= "2.0.0"}
   "camlp-streams" {>= "5.0"}
-  "why3" {>= "1.5.0"}
+  "why3" {>= "1.5.0" & < "1.6~"}
   "yojson" {>= "1.6.0"}
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
diff --git a/packages/lambdapi/lambdapi.2.3.0/opam b/packages/lambdapi/lambdapi.2.3.0/opam
@@ -56,7 +56,7 @@ depends: [
   "timed" {>= "1.0"}
   "pratter" {>= "2.0.0"}
   "camlp-streams" {>= "5.0"}
-  "why3" {>= "1.5.0"}
+  "why3" {>= "1.5.0" & < "1.6~"}
   "yojson" {>= "1.6.0"}
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}

Original file line number	Diff line number	Diff line change
`@@ -121,7 +121,7 @@ depends: [`
`121`	`121`	`"ppx_deriving"`
`122`	`122`	`"ppx_deriving_yojson"`
`123`	`123`	`"ppx_import" {>= "1.8.0" & < "2.0"}`
`124`		`- "why3" { >= "1.5.0" }`
	`124`	`+ "why3" {>= "1.5.0" & < "1.6~"}`
`125`	`125`	`"yojson" {>= "1.6.0" & ( < "2.0.0" \| ! with-test) }`
`126`	`126`	`"zarith" {>= "1.5"}`
`127`	`127`	`]`