Package details
Package coqide-server
Version 9.0.0-r1
Description Formal proof management system (XML protocol server)
Project https://rocq-prover.org/
License LGPL-2.1-or-later
Branch edge
Repository community
Architecture aarch64
Size 8.3MiB
Installed size 21.3MiB
Origin rocq
Maintainer Celeste
Build time 2025-10-25 04:31:34
Commit 783634c1ed26a6a6949ab92942c7a02ab3c2eddf
Merge request N/A
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Flag
Depends (58)
Required by (0)
Sub Packages (2)
Provides (16)
Install if (0)