1 changed files with 3 additions and 3 deletions
--- a/flake.lock
+++ b/flake.lock
@ -44,11 +44,11 @@
        ]
      },
      "locked": {
-        "lastModified": 1750369222,
-        "narHash": "sha256-KFFTVbciXUaHgeGN1yiaUtY88OLGU0gElXx5SfICDKg=",
+        "lastModified": 1750275702,
+        "narHash": "sha256-CpwSdtwvrQCR+ZfXZweFHJMG583EYijCRGEeGrgBsjU=",
        "owner": "lenianiva",
        "repo": "lean4-nix",
-        "rev": "015ecd25206734d582a1b15dd11eb10be35ca555",
+        "rev": "95a315f6e7d5e463090ae4977d5e2e6c3b4ef0d0",
        "type": "github"
      },
      "original": {