On Thu, Mar 11, 2010 at 07:47:57PM +0300, Aleksej Saushev wrote: > "othyro" <othyro%users.sourceforge.net@localhost> 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? Maybe because lang/coq is already at 8.2pl1 ...
Attachment:
pgpCtsdA8x32x.pgp
Description: PGP signature
------------------------------------------------------------------------------ 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-discuss mailing list pkgsrc-wip-discuss%lists.sourceforge.net@localhost https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-discuss