this repo has no description

Mark various packages as incompatible with Why3 1.8.

Changed files
+8 -8
packages
caisar
caisar.2.1
colibrics
colibrics.0.3.3
colibrics.0.4
frama-c
frama-c.28.0
frama-c.28.1
frama-c.29.0
frama-c.29.0~beta
frama-c.30.0~beta
+1 -1
packages/caisar/caisar.2.1/opam
···
"yojson" {>= "1.7.0"}
"menhirLib" {>= "20210310"}
"csv" {>= "2.4"}
-
"why3" {>= "1.7.0"}
+
"why3" {>= "1.7" & < "1.8"}
"re" {>= "1.10.4" & < "1.12.0"}
"fpath" {>= "0.7.3"}
"yaml" {>= "3.1.0"}
+1 -1
packages/colibrics/colibrics.0.3.3/opam
···
"core" {>= "v0.14.1"}
"jingoo" {>= "1.4.4"}
"logs" {>= "0.7.0"}
-
"why3" {>= "1.4.0"}
+
"why3" {>= "1.4" & < "1.8"}
"yojson"
"ocaml" {>= "4.12"}
"odoc" {with-doc}
+1 -1
packages/colibrics/colibrics.0.4/opam
···
"core" {>= "v0.14.1"}
"jingoo" {>= "1.4.4"}
"logs" {>= "0.7.0"}
-
"why3" {>= "1.4.0"}
+
"why3" {>= "1.4" & < "1.8"}
"yojson"
"ocaml" {>= "4.12"}
"odoc" {with-doc}
+1 -1
packages/frama-c/frama-c.28.0/opam
···
"ocamlgraph" { with-test & >= "2.1.0" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
-
"why3" { >= "1.6.0" & ( < "1.7.0" | !with-test ) }
+
"why3" { >= "1.6" & < "1.8" & ( < "1.7" | !with-test ) }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.5" }
+1 -1
packages/frama-c/frama-c.28.1/opam
···
"ocamlgraph" { with-test & >= "2.1.0" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
-
"why3" { >= "1.6.0" & ( < "1.7.0" | !with-test ) }
+
"why3" { >= "1.6" & < "1.8" & ( < "1.7" | !with-test ) }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.5" }
+1 -1
packages/frama-c/frama-c.29.0/opam
···
"ocamlgraph" { with-test & >= "2.1.0" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
-
"why3" { >= "1.7.1" & (< "1.8.0" | !with-test) }
+
"why3" { >= "1.7.1" & < "1.8" }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.9" }
+1 -1
packages/frama-c/frama-c.29.0~beta/opam
···
"ocamlgraph" { with-test & >= "2.1.0" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
-
"why3" { >= "1.7.1" & (< "1.8.0" | !with-test) }
+
"why3" { >= "1.7.1" & < "1.8" }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.9" }
+1 -1
packages/frama-c/frama-c.30.0~beta/opam
···
"ocp-indent" { with-dev-setup & >= "1.8.1" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
-
"why3" { >= "1.7.1" & (< "1.8.0" | !with-test) }
+
"why3" { >= "1.7.1" & < "1.8" }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.9" }