From e595314e091254a4a85962049cb4e2f096e89605 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.vscoq-language-server: update URL of repository

---
 .../coq-modules/vscoq-language-server/default.nix           | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/coq-modules/vscoq-language-server/default.nix b/pkgs/development/coq-modules/vscoq-language-server/default.nix
index 3941948d5884..b20d6961eb7a 100644
--- a/pkgs/development/coq-modules/vscoq-language-server/default.nix
+++ b/pkgs/development/coq-modules/vscoq-language-server/default.nix
@@ -23,8 +23,8 @@ let
     ] null;
   location = {
     domain = "github.com";
-    owner = "coq-community";
-    repo = "vscoq";
+    owner = "rocq-prover";
+    repo = "vsrocq";
   };
   fetch = metaFetch {
     release."2.0.3+coq8.18".sha256 = "sha256-VXhHCP6Ni5/OcsgoI1EbJfYCpXzwkuR8kbbKrl6dfjU=";
@@ -77,7 +77,7 @@ ocamlPackages.buildDunePackage {
 
   meta = {
     description = "Language server for the vscoq vscode/codium extension";
-    homepage = "https://github.com/coq-community/vscoq";
+    homepage = "https://github.com/rocq-prover/vsrocq";
     maintainers = with lib.maintainers; [ cohencyril ];
     license = lib.licenses.mit;
   }