From 9f3a8dcdfe29cd8afc8b82bde8f52684ed1aa92f Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Thu, 27 Aug 2026 14:46:55 +0200
Subject: [PATCH] Fix rocqide.dev dependency

---
 core-dev/packages/rocqide/rocqide.dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core-dev/packages/rocqide/rocqide.dev/opam b/core-dev/packages/rocqide/rocqide.dev/opam
index b6d2f7053..e1d663ca1 100644
--- a/core-dev/packages/rocqide/rocqide.dev/opam
+++ b/core-dev/packages/rocqide/rocqide.dev/opam
@@ -19,7 +19,7 @@ depends: [
   "ocamlfind" {build}
   "conf-findutils" {build}
   "conf-adwaita-icon-theme"
-  "coqide-server" {= version}
+  "rocqide-server" {= version}
   "cairo2" {>= "0.6.4"}
   "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
   "odoc" {with-doc}