diff --git a/flake.lock b/flake.lock
index 9430540..298af9d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -59,11 +59,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1758037834,
-        "narHash": "sha256-P2rBelR9lgFJPE8kEV1wwX1LHK6xWlVcQqEez84ss6E=",
+        "lastModified": 1761368467,
+        "narHash": "sha256-eEs2YpE84+d6a8VKXCACNJy5czcu8GQCaeSZwR/mFMk=",
         "owner": "lenianiva",
         "repo": "lean4-nix",
-        "rev": "d87ff09bad00ca4addd471a68a968f2aa29c7c36",
+        "rev": "3550873ed1a87d666d633d34921e79abaa4671c1",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 23929ed..6fa1ea2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -48,12 +48,13 @@
         };
 
         packages = {
-          default = ((lean4-nix.lake {inherit pkgs;}).mkPackage {
-            src = ./.;
-            roots = ["Blake3Test"];
-            deps = [lib.blake3-lib];
-            staticLibDeps = [ "${lib.blake3-c}/lib" ];
-          })
+          default =
+            ((lean4-nix.lake {inherit pkgs;}).mkPackage {
+              src = ./.;
+              roots = ["Blake3Test"];
+              deps = [lib.blake3-lib];
+              staticLibDeps = ["${lib.blake3-c}/lib"];
+            })
           .executable;
           # Downstream lean4-nix packages must also link to the static lib using the `staticLibDeps` attribute.
           # See https://github.com/argumentcomputer/lean4-nix/blob/dev/templates/dependency/flake.nix for an example
@@ -61,7 +62,6 @@
         };
         devShells.default = pkgs.mkShell {
           packages = with pkgs; [
-            lean.lean
             lean.lean-all
           ];
         };