aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

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