gnu: rocqide: Add 9.2.0.rocq-codeberg-pr-v3

* gnu/packages/rocq.scm (rocqide): Add 9.2.0.

Change-Id: I5db4925c6a193c562a14be49d4edc17ed252f22a

1 files changed, 19 insertions, 0 deletions

diff --git a/gnu/packages/rocq.scm b/gnu/packages/rocq.scm
index 846a9ac4f85..c5e3108df6c 100644
--- a/gnu/packages/rocq.scm
+++ b/gnu/packages/rocq.scm
@@ -129,3 +129,22 @@ of machine-checked proofs.
 This package provides the @code{coqidetop} language server, an implementation of
 Rocq's XML protocol which allows clients, such as RocqIDE, to interact with
 the Rocq Prover in a structured way.")))
+
+(define-public rocqide
+  (package
+    (inherit rocq-runtime)
+    (name "rocqide") ;see rocqide.opam in rocq's git
+    (propagated-inputs (modify-inputs (package-propagated-inputs
+                                       rocqide-server)
+                         (append rocqide-server ocaml-lablgtk3-sourceview3)))
+    (arguments
+     (rocq-arguments "rocqide"))
+    (synopsis "Rocq's IDE")
+    (description
+     "Rocq 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 RocqIDE, a graphical user interface for the
+development of interactive proofs.")))