feat: Add lake and lean to the package output
This commit is contained in:
parent
a811decf84
commit
8b67e7006a
|
@ -30,6 +30,7 @@
|
||||||
in rec {
|
in rec {
|
||||||
packages = project // {
|
packages = project // {
|
||||||
inherit (leanPkgs) lean;
|
inherit (leanPkgs) lean;
|
||||||
|
lake = leanPkgs.Lake-Main.executable;
|
||||||
default = packages.executable;
|
default = packages.executable;
|
||||||
};
|
};
|
||||||
devShells.default = project.devShell;
|
devShells.default = project.devShell;
|
||||||
|
|
Loading…
Reference in New Issue