this repo has no description

goblint-cil: add OCaml 5.0 upper bounds

Changed files
+4 -4
packages
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}