From c76ddbec2f2776293b88f35a70c3bfee17e24f97 Mon Sep 17 00:00:00 2001 From: mattiasdrp Date: Fri, 10 Jan 2025 14:26:09 +0100 Subject: [PATCH] Manifest: Don't hard pin LSP to an OCaml version --- manifest/externals.ml | 2 +- opam/virtual/octez-dev-deps.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/manifest/externals.ml b/manifest/externals.ml index aa74b75b4958..823596e743ea 100644 --- a/manifest/externals.ml +++ b/manifest/externals.ml @@ -344,7 +344,7 @@ let () = (add_dep_to_profile "octez-dev-deps") [ external_lib "merlin" V.(at_least "4.18"); - external_lib "ocaml-lsp-server" V.(exactly "1.20.1-4.14"); + external_lib "ocaml-lsp-server" V.(at_least "1.20.1"); (* TODO: https://gitlab.com/tezos/tezos/-/issues/7085 remove constraint on odoc version when odoc bug is solved *) external_lib "odoc" V.(at_least "2.4.2"); diff --git a/opam/virtual/octez-dev-deps.opam b/opam/virtual/octez-dev-deps.opam index dfdbf5463c0b..0b36ad0a9c0b 100644 --- a/opam/virtual/octez-dev-deps.opam +++ b/opam/virtual/octez-dev-deps.opam @@ -11,7 +11,7 @@ depends: [ "dune" { >= "3.11.1" } "merge-fmt" "merlin" { >= "4.18" } - "ocaml-lsp-server" { = "1.20.1-4.14" } + "ocaml-lsp-server" { >= "1.20.1" } "ocp-indent" "odoc" { >= "2.4.2" } "utop" { >= "2.8" } -- GitLab