From 3e321516f7852dc2c2c601ccc1f3c07aba6b03c3 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Tue, 13 Feb 2024 15:30:56 -0500
Subject: [PATCH] chore: Expose `leanPkgs` in flake

---
 flake.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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;