From 8b67e7006aa242e178dcb978585c5473abaac428 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Mon, 5 Feb 2024 11:49:01 -0800 Subject: [PATCH] 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;