Upgrade ocaml-solo5 with OCaml 5.0

Co-authored-by: Pierre Alain <[email protected]> Co-authored-by: Kate <[email protected]> Co-authored-by: Christiano Haesbaert <[email protected]>
mirage · Jan 11, 2023 · d971bdb · d971bdb
1 parent b048d09
commit d971bdb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ocaml-solo5-cross-aarch64.opam b/ocaml-solo5-cross-aarch64.opam
@@ -21,7 +21,7 @@ depends: [
   "conf-which" {build}
   "ocamlfind" {build} # needed by dune context (for tests)
   "ocaml-src" {build}
-  "ocaml" {>= "4.12.1" & < "4.15.0"}
+  "ocaml" {>= "5.0" & < "5.1"}
   "solo5" {>= "0.7.0"}
   "solo5-cross-aarch64" {>= "0.7.0" }
 ]

diff --git a/ocaml-solo5.opam b/ocaml-solo5.opam
@@ -22,7 +22,7 @@ depends: [
   "conf-which" {build}
   "ocamlfind" {build} # needed by dune context (for tests)
   "ocaml-src" {build}
-  "ocaml" {>= "4.12.1" & < "4.15.0"}
+  "ocaml" {>= "5.0" & < "5.1"}
   "solo5" {>= "0.7.0"}
 ]
 conflicts: [