Package : coq-ide-server > RPM : coq-ide-server-8.16.1-1.mga9.i586.rpm
Basic items
Install| Name | coq-ide-server |
| Version | 8.16.1 |
| Release | 1.mga9 |
| URL | https://coq.inria.fr |
| Group | Sciences/Computer science |
| Summary | The coqidetop language server |
| Size | 2,735KB |
| Arch | i586 |
| License | LGPL-2.1-only AND MIT AND BSD-3-Clause |
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.
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.
Media information
| Distribution release | Mageia 9 |
| Media name | core-release |
| Media arch | i586 |
Advanced items
| Source RPM | coq-8.16.1-1.mga9.src.rpm |
| Build time | 2023-01-07 18:13:19 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |