Try to fix previous coq#3240

proux01 · Dec 6, 2024 · 5310499 · 5310499
1 parent 935d67d
commit 5310499
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core-dev/packages/rocq-core/rocq-core.dev/opam b/core-dev/packages/rocq-core/rocq-core.dev/opam
@@ -25,6 +25,7 @@ depends: [
   "dune" {>= "3.8"}
   "coq-core" {= version}
   "odoc" {with-doc}
+  "coqide-server" {with-test}
 ]
 depopts: ["coq-native"]
 dev-repo: "git+https://github.com/coq/coq.git"