- Name: coq-emacs
- Version: 8.2pl1
- Release: 1.fc12
- Epoch:
- Group: Applications/Engineering
- License: LGPLv2
- Url: http://coq.inria.fr/
- Summary: Elisp files for Coq proof management system
- Architecture: i686
- Size: 18725
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
Coq is a formal proof management system. It allows for the development
of theorems through first order logic that are mechanically checked by
the machine. Sets of definitions and theorems can be saved as compiled
modules and loaded into the system.
This package provides emacs mode files for formatting Coq input.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: x86-5.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: