add packages

user/config/nvim/default.nix

@@ -45,6 +45,7 @@
       clang-tools
       nixd
       lua-language-server
+      zls
     ];
     withRuby = false;
     withPython3 = true;

user/config/nvim/lua/u/plugins/lsp.lua

@@ -66,3 +66,4 @@ lspconfig.clangd.setup({
 lspconfig.pyright.setup({})
 lspconfig.nixd.setup({})
 lspconfig.lua_ls.setup({})
+lspconfig.zls.setup({})

user/packages.nix

@@ -27,6 +27,7 @@
       unzip
       unar
       keepassxc
+      hyx
     ]
     ++ lib.optionals config.u.has.graphical [
       (config.u.lib.localHome pkgs.firefox "firefox" "bin/firefox")
@@ -54,6 +55,7 @@
       bluetuith
       globalprotect-openconnect
       virt-viewer
+      libreoffice-fresh
     ]
     ++ lib.optionals config.u.has.wine [
       wineWowPackages.stable

user/prog.nix

@@ -23,8 +23,8 @@ lib.mkIf config.u.has.prog {
       patchelf
       lazygit
       pyp
-      coq
-      coqPackages.coqide
+      coq_8_20
+      zig
     ]
     ++ lib.optionals config.u.has.graphical [
       (cutter.withPlugins (ps: with ps; [jsdec rz-ghidra sigdb]))