max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: flake.nix

Browse source
This commit is contained in:
Sebastian Ullrich 2022-07-10 22:57:44 +02:00
parent 62bdde1548
commit fe5d95e7e3
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
flake.nix
View file

@ -41,6 +41,7 @@
inherit (leanPkgs) lean;
cli = cli.executable;
};
defaultPackage = self.packages.${system}.cli;