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