From 3fafa51bffe5f20f80705b926b512a2c22e07236 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Fri, 9 Jan 2026 15:25:56 +0100
Subject: [PATCH] coqPackages.vsrocq-language-server: init at 2.3.4

There is no reason not to provide vsrocq-language-server through
coqPackages.

In fact, following the logic that only packages that do not depend on
Coq belong to rocqPackages, it should not even have been in
rocqPackages in the first place.
---
 pkgs/development/rocq-modules/vsrocq-language-server/default.nix | 1 -
 pkgs/top-level/coq-packages.nix                                  | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
index cca7484e7d46..d5965f8a4e7e 100644
--- a/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
+++ b/pkgs/development/rocq-modules/vsrocq-language-server/default.nix
@@ -74,7 +74,6 @@ ocamlPackages.buildDunePackage {
     license = lib.licenses.mit;
   }
   // lib.optionalAttrs (fetched.broken or false) {
-    rocqFilter = true;
     broken = true;
   };
 }
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 8a35e3a59feb..70fa9d0730b4 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -222,6 +222,7 @@ let
       Vpl = callPackage ../development/coq-modules/Vpl { };
       VplTactic = callPackage ../development/coq-modules/VplTactic { };
       vscoq-language-server = callPackage ../development/coq-modules/vscoq-language-server { };
+      vsrocq-language-server = callPackage ../development/rocq-modules/vsrocq-language-server { };
       VST = callPackage ../development/coq-modules/VST (
         (lib.optionalAttrs (lib.versionAtLeast self.coq.version "8.14") {
           compcert = self.compcert.override {