diff --git a/flake.nix b/flake.nix index 96190d0ef4..26f685158d 100644 --- a/flake.nix +++ b/flake.nix @@ -41,6 +41,7 @@ inherit (leanPkgs) lean; cli = cli.executable; + }; defaultPackage = self.packages.${system}.cli;