- Name: coq-ide-server
- Version: 8.16.1
- Release: 1.mga9
- Epoch:
- Group: Sciences/Computer science
- License: LGPL-2.1-only AND MIT AND BSD-3-Clause
- Url: https://coq.inria.fr
- Summary: The coqidetop language server
- Architecture: i586
- Size: 2735214
- Distribution: Mageia
- Vendor: Mageia.Org
- Packager: papoteur <papoteur>
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.
- OptFlags: -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fomit-frame-pointer -march=i586 -mtune=generic -fasynchronous-unwind-tables
- Cookie: localhost 1673111477
- Buildhost: localhost
Sources packages:
Other version of this rpm: