diff options
Diffstat (limited to 'home/default.nix')
| -rw-r--r-- | home/default.nix | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/home/default.nix b/home/default.nix index fa3a137..cf89abe 100644 --- a/home/default.nix +++ b/home/default.nix @@ -170,9 +170,6 @@ in sqlite # simple database timg # show image in shell unstable.goose-cli # llm cli - unstable.vale # spellcheck - unstable.valeStyles.microsoft # spellcheck linters - unstable.valeStyles.write-good # spellcheck linters whisper-cpp # tts wlogout # logout helper xdg-utils @@ -188,7 +185,7 @@ in couchbase-shell # couchbase d2 # graphs gnumake # makefile - lean4 # theorem prover - broken + lean4 # theorem prover lld # c and rust linker nodePackages.jsdoc # javascript documentation uv # python package installer |