Package details
Package coqide-server
Version 9.1.1-r3
Description Formal proof management system (XML protocol server)
Project https://rocq-prover.org/
License LGPL-2.1-or-later
Branch v3.24
Repository community
Architecture x86_64
Size 7.2MiB
Installed size 18.9MiB
Origin rocq
Maintainer Wen Heping
Build time 2026-09-24 09:16:24
Commit 4ae9a791d2bd5743dea1f054f14e8c178c81e0f8
Merge request N/A
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Flag
Depends (59)
Required by (0)
Sub Packages (2)
Provides (16)
Install if (0)