From 044833ee94647263ece34ae2b546385474707c37 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 17 Jan 2025 14:00:23 +0100
Subject: [PATCH] [core-dev] Renaming coqide -> rocqide

---
 .../coqide.dev => rocqide/rocqide.dev}/opam      | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)
 rename core-dev/packages/{coqide/coqide.dev => rocqide/rocqide.dev}/opam (64%)

diff --git a/core-dev/packages/coqide/coqide.dev/opam b/core-dev/packages/rocqide/rocqide.dev/opam
similarity index 64%
rename from core-dev/packages/coqide/coqide.dev/opam
rename to core-dev/packages/rocqide/rocqide.dev/opam
index adf0701081..be4895818a 100644
--- a/core-dev/packages/coqide/coqide.dev/opam
+++ b/core-dev/packages/rocqide/rocqide.dev/opam
@@ -1,27 +1,27 @@
 opam-version: "2.0"
-synopsis: "The Coq Proof Assistant --- GTK3 IDE"
+synopsis: "The Rocq Prover --- GTK3 IDE"
 description: """
-Coq is a formal proof management system. It provides
+The Rocq Prover is an interactive theorem prover, or proof assistant. It provides
 a formal language to write mathematical definitions, executable
 algorithms and theorems together with an environment for
 semi-interactive development of machine-checked proofs.
 
-This package provides the CoqIDE, a graphical user interface for the
+This package provides the RocqIDE, a graphical user interface for the
 development of interactive proofs."""
-maintainer: ["The Coq development team <coqdev@inria.fr>"]
-authors: ["The Coq development team, INRIA, CNRS, and contributors"]
+maintainer: ["The Rocq development team <coqdev@inria.fr>"]
+authors: ["The Rocq development team, INRIA, CNRS, and contributors"]
 license: "LGPL-2.1-only"
 homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
-  "dune" {>= "2.9"}
+  "dune" {>= "3.8"}
   "ocamlfind" {build}
   "conf-findutils" {build}
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
   "cairo2" {>= "0.6.4"}
-  "lablgtk3-sourceview3" {>= "3.1.2"}
+  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
   "odoc" {with-doc}
 ]
 build: [
@@ -33,12 +33,10 @@ build: [
     name
     "-j"
     jobs
-    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/coq/coq.git"