CVS commit: wip/coq

["othyro" <othyro%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   othyro
Date:           Thu Mar 11 14:37:20 UTC 2010

Import into wip/coq

Log Message:
Import coq-8.2pl1 as wip/coq.

Coq is a formal proof management system. It provides a formal language to write
mathematical definitions, executable algorithms and theorems together with an
environment for semi-interactive development of machine-checked proofs.

Status:

Vendor Tag:     OTHYRO
Release Tags:   OTHYRO_20100311
                
N wip/coq/distinfo
N wip/coq/Makefile
N wip/coq/options.mk
N wip/coq/PLIST
N wip/coq/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs