| Name : coq-ide-server
| |
| Version : 8.16.1
| Vendor : Mageia_Org
|
| Release : 1.mga9
| Date : 2023-01-07 18:12:28
|
| Group : Sciences/Computer science
| Source RPM : coq-8.16.1-1.mga9.src.rpm
|
| Size : 2.81 MB
| |
| Packager : papoteur < papoteur>
| |
| Summary : The coqidetop language server
|
Description :
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.
This package provides the coqidetop language server, an implementation of
Coq\'s XML protocol which allows clients, such as CoqIDE, to interact with
Coq in a structured way.
|
RPM found in directory: /vol/rzm3/linux-mageia/distrib/cauldron/x86_64/media/core/release |
