feat: Add leanpkgs to the flake output #46

Merged

aniva merged 2 commits from nix/toolchain into dev 2024-02-15 14:30:31 -08:00

Conversation 0 Commits 2 Files Changed 1 +1 -1

2 Commits

Author	SHA1	Message	Date
Leni Aniva	3e321516f7	chore: Expose `leanPkgs` in flake	2024-02-13 15:30:56 -05:00
Leni Aniva	8b67e7006a	feat: Add lake and lean to the package output	2024-02-05 11:50:22 -08:00