From 69bb144de6088251e1891b1c319ec8000d859a06 Mon Sep 17 00:00:00 2001
From: Stefan Weigl-Bosker <stefan@s00.xyz>
Date: Sat, 10 May 2025 13:07:04 -0400
Subject: update

---
 modules/global.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/global.nix')

diff --git a/modules/global.nix b/modules/global.nix
index 1e5bfb8..3dfae3e 100644
--- a/modules/global.nix
+++ b/modules/global.nix
@@ -99,7 +99,7 @@ in
         nerd-fonts.comic-shanns-mono
         eza
         ripgrep
-        lean4
+        elan
         dmenu
         berkeley-mono
       ] ++ (lib.optional cfg.notNixOS nixgl.auto.nixGLDefault)
-- 
cgit v1.2.3