From d1d6493d09e101f636ba3502ef98224000774af0 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Thu, 19 Jun 2025 14:50:49 -0700
Subject: [PATCH] chore: Update Nix flake

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 0ae6e5e..d49dbee 100644
--- a/flake.lock
+++ b/flake.lock
@@ -44,11 +44,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1750275702,
-        "narHash": "sha256-CpwSdtwvrQCR+ZfXZweFHJMG583EYijCRGEeGrgBsjU=",
+        "lastModified": 1750369222,
+        "narHash": "sha256-KFFTVbciXUaHgeGN1yiaUtY88OLGU0gElXx5SfICDKg=",
         "owner": "lenianiva",
         "repo": "lean4-nix",
-        "rev": "95a315f6e7d5e463090ae4977d5e2e6c3b4ef0d0",
+        "rev": "015ecd25206734d582a1b15dd11eb10be35ca555",
         "type": "github"
       },
       "original": {