Package details
Package coqide-server
Version 9.0.0-r0
Description Formal proof management system (XML protocol server)
Project https://rocq-prover.org/
License LGPL-2.1-or-later
Branch v3.22
Repository community
Architecture ppc64le
Size 7.5MiB
Installed size 20.6MiB
Origin rocq
Maintainer Celeste
Build time 2025-03-14 05:22:54
Commit 6c3215ab191e75ea50b0b7c07cd717c0dec21ea6
Merge request N/A
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (58)
Required by (0)
Sub Packages (2)
Provides (16)
Install if (0)