From e6285e581c1e6a9940dd3df24a4060c713926d99 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Tue, 28 Oct 2025 11:55:32 -0400
Subject: [PATCH] chore: Update lean4-nix

---
 flake.lock | 6 +++---
 flake.nix  | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index bee047c..0a5c5f4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -42,11 +42,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1760753731,
-        "narHash": "sha256-RJCrWSH1Iz8WPVL2hB2U/kBXuct4+tKo/aiPCaOYPzM=",
+        "lastModified": 1761368467,
+        "narHash": "sha256-eEs2YpE84+d6a8VKXCACNJy5czcu8GQCaeSZwR/mFMk=",
         "owner": "lenianiva",
         "repo": "lean4-nix",
-        "rev": "ae7abc9f97a26da2ecf5233b9edfe3ba0af1b9a9",
+        "rev": "3550873ed1a87d666d633d34921e79abaa4671c1",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index c6e2690..69795e7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -41,7 +41,7 @@
           }).modRoot;
 
         devShells.default = pkgs.mkShell {
-          packages = with pkgs.lean; [lean];
+          packages = with pkgs.lean; [lean-all];
         };
       };
     };