From 8b67e7006aa242e178dcb978585c5473abaac428 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Mon, 5 Feb 2024 11:49:01 -0800
Subject: [PATCH 1/2] feat: Add lake and lean to the package output

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

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

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 2/2] 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;