diff --git a/flake.nix b/flake.nix
index 54a139f..2b68c0c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -63,9 +63,11 @@
       packages = {
         inherit (leanPkgs) lean lean-all;
         inherit (project) sharedLib executable;
-        inherit project leanPkgs;
         default = project.executable;
       };
+      dependencies = {
+        inherit project leanPkgs;
+      };
       checks = {
         test = pkgs.runCommand "test" {
           buildInputs = [ test.executable leanPkgs.lean-all ];