diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix
index dff3b671517b..f44580b09b73 100644
--- a/pkgs/applications/editors/vscode/extensions/default.nix
+++ b/pkgs/applications/editors/vscode/extensions/default.nix
@@ -3939,6 +3939,7 @@ let
         mktplcRef = {
           publisher = "rocq-prover";
           name = "vsrocq";
+          # When updating the version here, also update the language server vsrocq-language-server
           version = "2.3.4";
           hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA=";
         };
diff --git a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
index aad1e3efecf7..cca7484e7d46 100644
--- a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
+++ b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
@@ -16,8 +16,8 @@ let
       case = case: out: { inherit case out; };
     in
     lib.switch rocq-core.rocq-version [
-      (case (lib.versions.range "8.18" "9.1") "2.3.3")
-      (case (lib.versions.range "8.18" "9.1") "2.3.0")
+      # When updating the default version here, also update the VsRocq VS Code extension
+      (case (lib.versions.range "8.18" "9.1") "2.3.4")
     ] null;
   location = {
     domain = "github.com";
@@ -29,6 +29,8 @@ let
     release."2.3.0".sha256 = "sha256-BZLxcCmSGFf04eUmlJXnyxmg4hTwpFaPaIik4VD444M=";
     release."2.3.3".rev = "v2.3.3";
     release."2.3.3".sha256 = "sha256-wgn28wqWhZS4UOLUblkgXQISgLV+XdSIIEMx9uMT/ig=";
+    release."2.3.4".rev = "v2.3.4";
+    release."2.3.4".sha256 = "sha256-v1hQjE8U1o2VYOlUjH0seIsNG+NrMNZ8ixt4bQNyGvI=";
     inherit location;
   };
   fetched = fetch (if version != null then version else defaultVersion);