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 = {