chore(nix): remove ocamllsp flake

We don't need this anymore and can use ocamllsp from nixpkgs again Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Feb 2, 2025 · 2d2452e · 2d2452e
1 parent c26fd8b
commit 2d2452e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 70 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,11 +2,6 @@
   inputs = {
     nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
     flake-utils.url = "github:numtide/flake-utils";
-    ocamllsp = {
-      url = "git+https://github.com/ocaml/ocaml-lsp?submodules=1";
-      inputs.nixpkgs.follows = "nixpkgs";
-      inputs.flake-utils.follows = "flake-utils";
-    };
     melange = {
       url = "github:melange-re/melange/refs/tags/4.0.0-51";
       inputs.nixpkgs.follows = "nixpkgs";
@@ -22,7 +17,6 @@
     { self
     , flake-utils
     , nixpkgs
-    , ocamllsp
     , melange
     , ocaml-overlays
     }:
@@ -40,7 +34,6 @@
           });
         })
         melange.overlays.default
-        ocamllsp.overlays.default
         (self: super: {
           coq_8_16_native = super.coq_8_16.overrideAttrs (a: {
             configureFlags = [ "-native-compiler" "yes" ];