this repo has no description

Merge pull request #22652 from sim642/goblint-ocaml-5

goblint-cil, goblint: add OCaml 5.0 upper bounds

Kate dfa5f661 bad686ee

Changed files
+7 -7
packages
goblint
goblint.2.0.0
goblint.2.0.1
goblint.2.1.0
goblint-cil
goblint-cil.1.7.3
goblint-cil.1.7.4
goblint-cil.1.8.0
goblint-cil.1.8.2
+1 -1
packages/goblint-cil/goblint-cil.1.7.3/opam
···
[make "uninstall"]
]
depends: [
-
"ocaml" {>= "4.02.3"}
+
"ocaml" {>= "4.02.3" & < "5.0"}
"ocamlfind"
"ocamlbuild" {build}
"num" {build}
+1 -1
packages/goblint-cil/goblint-cil.1.7.4/opam
···
make "install"
]
depends: [
-
"ocaml" {>= "4.02.3"}
+
"ocaml" {>= "4.02.3" & < "5.0"}
"ocamlfind" {build}
"ocamlbuild" {build}
"zarith"
+1 -1
packages/goblint-cil/goblint-cil.1.8.0/opam
···
homepage: "https://cil-project.github.io/cil/"
bug-reports: "https://github.com/goblint/cil/issues"
depends: [
-
"ocaml" {>= "4.04.2"}
+
"ocaml" {>= "4.04.2" & < "5.0"}
"ocamlfind"
"zarith"
"hevea" {with-doc}
+1 -1
packages/goblint-cil/goblint-cil.1.8.2/opam
···
homepage: "https://github.com/goblint/cil"
bug-reports: "https://github.com/goblint/cil/issues"
depends: [
-
"ocaml" {>= "4.05.0"}
+
"ocaml" {>= "4.05.0" & < "5.0"}
"ocamlfind"
"zarith"
"hevea" {with-doc}
+1 -1
packages/goblint/goblint.2.0.0/opam
···
doc: "https://goblint.readthedocs.io/en/latest/"
bug-reports: "https://github.com/goblint/analyzer/issues"
depends: [
-
"ocaml" {>= "4.10"}
+
"ocaml" {>= "4.10" & < "5.0"}
"dune" {>= "2.9.1"}
"goblint-cil" {>= "2.0.0"}
"batteries" {>= "3.4.0"}
+1 -1
packages/goblint/goblint.2.0.1/opam
···
doc: "https://goblint.readthedocs.io/en/latest/"
bug-reports: "https://github.com/goblint/analyzer/issues"
depends: [
-
"ocaml" {>= "4.10"}
+
"ocaml" {>= "4.10" & < "5.0"}
"dune" {>= "2.9.1"}
"goblint-cil" {>= "2.0.0"}
"batteries" {>= "3.4.0"}
+1 -1
packages/goblint/goblint.2.1.0/opam
···
doc: "https://goblint.readthedocs.io/en/latest/"
bug-reports: "https://github.com/goblint/analyzer/issues"
depends: [
-
"ocaml" {>= "4.10"}
+
"ocaml" {>= "4.10" & < "5.0"}
"dune" {>= "3.0"}
"goblint-cil" {>= "2.0.1"}
"batteries" {>= "3.4.0"}