Update dependencies after breaking change (#220)

* update flake inputs * update submodules
idris-community · Jun 25, 2024 · fb38877 · fb38877
1 parent 07e751b
commit fb38877
Show file tree

Hide file tree

Showing 4 changed files with 217 additions and 10 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/LSP-lib b/LSP-lib
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -22,11 +22,11 @@
   };
 
   outputs = {
-    self,
     nixpkgs,
     alejandra,
     idris,
     lsp-lib,
+    ...
   }: let
     lib = nixpkgs.lib;
     # support the same systems as Idris2
@@ -71,7 +71,7 @@
               --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}"
           '';
         };
-      in rec {
+      in {
         packages =
           idrisPkgs
           // rec {