Re: CVS commit: wip/coq

Aleksej Saushev <[email protected]>
Newsgroups gmane.os.netbsd.devel.pkgsrc.wip.general
Message-ID <[email protected]> 
"othyro" <[email protected]> writes:

> 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.

Any reason not to submit package update rather?


-- 
HE CE3OH...


------------------------------------------------------------------------------
Download Intel&#174; 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.