diff --git a/flake.nix b/flake.nix
index 02de0a1..7610209 100644
--- a/flake.nix
+++ b/flake.nix
@@ -29,8 +29,7 @@
       };
     in rec {
       packages = project // {
-        inherit (leanPkgs) lean;
-        lake = leanPkgs.Lake-Main.executable;
+        inherit leanPkgs;
         default = packages.executable;
       };
       devShells.default = project.devShell;