From d971bdb2bb9ab0fe4c3a9576ded36647e3b2f8c5 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Wed, 11 Jan 2023 13:46:51 +0100 Subject: [PATCH] Upgrade ocaml-solo5 with OCaml 5.0 Co-authored-by: Pierre Alain Co-authored-by: Kate Co-authored-by: Christiano Haesbaert --- ocaml-solo5-cross-aarch64.opam | 2 +- ocaml-solo5.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ocaml-solo5-cross-aarch64.opam b/ocaml-solo5-cross-aarch64.opam index f58f85d2..c2b79aca 100644 --- 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 index 3df9e566..c0b3d7ff 100644 --- 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: [