On Thu, Mar 11, 2010 at 03:47:54PM -0500, othyro%freeshell.org@localhost wrote: > On Thu, Mar 11, 2010 at 07:08:46PM +0100, Antoine Reilles wrote: > > 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 ... > No, it's because i didn't find it when i looked in pkgsrc/math. For some > reason, > it's in /lang. There are a few useful additions to wip/coq though, so it's not > a wheel entirely reinvented. Someone with commit to HEAD could merge them if > they felt like it... I don't see what those useful additions can be, apart from the "doc" option. The version in wip will depend on bash, and gtk2, even when the ide is not built. About the lang/ place, well, it is a discutable choice, but is consistent with lang/twelf regards, antoine
Attachment:
pgpLN6S3CsTVi.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