Package details
Package coqide-server
Version 8.20.1-r1
Description Formal proof management system (XML protocol server)
Project https://coq.inria.fr/
License LGPL-2.1-or-later
Branch edge
Repository community
Architecture ppc64le
Size 25.7MiB
Installed size 62.3MiB
Origin coq
Maintainer Celeste
Build time 2025-01-20 07:20:58
Commit fa8c93895b59f072a4347a59c17fef50725d413a
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package
Flag
Depends (57)
Required by (0)
Sub Packages (2)
Provides (17)
Install if (0)