update lean

1 files changed, 1 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index 90f47cb..a6d1852 100644
--- a/flake.nix
+++ b/flake.nix
@@ -16,7 +16,7 @@
       };
       lean-shell = pkgs.mkShell {
         name = "Lean";
-        packages = [ pkgs.lean4 pkgs.wayland pkgs.pkg-config ];
+        packages = [ pkgs.lean4 pkgs.wayland pkgs.pkg-config pkgs.river ];
         shellHook = pkgs.lib.optionalString pkgs.stdenv.isDarwin ''
           export XDG_RUNTIME_DIR="$(pwd)/server"
         '';