pkgsrc-WIP-discuss archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: CVS commit: wip/coq

"othyro" <> 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?


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.
pkgsrc-wip-discuss mailing list

Home | Main Index | Thread Index | Old Index