From f734228a4547a580dda999318bc57fcd86a0cfe5 Mon Sep 17 00:00:00 2001 From: Dan Rostovtsev Date: Fri, 10 Apr 2026 10:22:55 -0400 Subject: gnu: rocqide-server: Add 9.2.0. * gnu/packages/rocq.scm (rocqide-server): Add 9.2.0. Change-Id: I80eb516e5c624298832935a521561e89c278b225 --- gnu/packages/rocq.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/rocq.scm b/gnu/packages/rocq.scm index e3a9509b93d..846a9ac4f85 100644 --- a/gnu/packages/rocq.scm +++ b/gnu/packages/rocq.scm @@ -110,3 +110,22 @@ of machine-checked proofs. This package includes the Rocq standard library some other core language libraries."))) + +(define-public rocqide-server + (package + (inherit rocq-runtime) + (name "rocqide-server") ;see coqide-server.opam in rocq's git + (propagated-inputs (modify-inputs (package-propagated-inputs rocq-runtime) + (append rocq-runtime))) + (arguments + (rocq-arguments "coqide-server")) + (synopsis "Rocq's XML protocol server") + (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 @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."))) -- cgit v1.3