From 64269868d518b1211b724a46dc080d6f2f5a4a44 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 4 Aug 2024 17:32:20 -0700
Subject: [PATCH] feat: Expose project and leanPkgs in flake

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

diff --git a/flake.nix b/flake.nix
index b96d5e2..54a139f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -63,6 +63,7 @@
       packages = {
         inherit (leanPkgs) lean lean-all;
         inherit (project) sharedLib executable;
+        inherit project leanPkgs;
         default = project.executable;
       };
       checks = {