diff --git a/user/config/nvim/default.nix b/user/config/nvim/default.nix
index 4d3915d..746907f 100644
--- a/user/config/nvim/default.nix
+++ b/user/config/nvim/default.nix
@@ -45,6 +45,7 @@
       clang-tools
       nixd
       lua-language-server
+      zls
     ];
     withRuby = false;
     withPython3 = true;
diff --git a/user/config/nvim/lua/u/plugins/lsp.lua b/user/config/nvim/lua/u/plugins/lsp.lua
index 14cdcd1..b497604 100644
--- a/user/config/nvim/lua/u/plugins/lsp.lua
+++ b/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({})
diff --git a/user/packages.nix b/user/packages.nix
index 96e46f2..d344a26 100644
--- a/user/packages.nix
+++ b/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
diff --git a/user/prog.nix b/user/prog.nix
index 311c136..c013a5c 100644
--- a/user/prog.nix
+++ b/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]))