Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-04 20:29:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/academic/coq
History
David Spencer a723699906 academic/coq: Updated for version 8.4pl6. 
Fixes build failure with make-4.1.

Signed-off-by: David Spencer <baildon.research@googlemail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2016-01-17 09:40:16 +07:00
..
coq.info academic/coq: Updated for version 8.4pl6. 2016-01-17 09:40:16 +07:00
coq.SlackBuild academic/coq: Updated for version 8.4pl6. 2016-01-17 09:40:16 +07:00
gpl.txt.gz
README
slack-desc

README 

Coq implements a program specification and mathematical higher-level
language called Gallina that is based on an expressive formal language
called the Calculus of Inductive Constructions that itself combines both
a higher-order logic and a richly-typed functional programming language.

If you have ocamlopt, Coq will be compiled to native code, which runs 4-10 
times faster. For best performance, OCaml should have support for pthreads. 

If you want CoqIDE, you need LablGTK2 (>= 2.10.0) with development
files, and GTK2+ (>= 2.10.0).  This also REQUIRES OCaml to have support
for pthreads.

If you have emacs installed, emacs files for Coq will be installed.
Otherwise, they will be omitted.