From bfe6c4cee8b5afcd4078af319ab6b96f6695408b Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Fri, 10 Apr 2026 12:34:02 +0200
Subject: update lean

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'flake.nix')

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"
         '';
-- 
cgit v1.3.1