diff --git a/pkgs/development/coq-modules/vscoq-language-server/default.nix b/pkgs/development/coq-modules/vscoq-language-server/default.nix
index b7e5d6b849c2..d4ee9d6042f8 100644
--- a/pkgs/development/coq-modules/vscoq-language-server/default.nix
+++ b/pkgs/development/coq-modules/vscoq-language-server/default.nix
@@ -13,6 +13,10 @@ let
   defaultVersion =
     with lib.versions;
     lib.switch coq.coq-version [
+      {
+        case = isEq "9.0";
+        out = "2.2.5";
+      }
       {
         case = range "8.18" "8.20";
         out = "2.2.1";
@@ -42,6 +46,8 @@ let
     release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU=";
     release."2.2.1".rev = "v2.2.1";
     release."2.2.1".sha256 = "sha256-miIVAv/8jlP1pXnoK1MWz4O6nlmb309a8UjcCivbiB4=";
+    release."2.2.5".rev = "v2.2.5";
+    release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k=";
     inherit location;
   });
   fetched = fetch (if version != null then version else defaultVersion);