Re: CVS commit: wip/coq

[othyro%freeshell.org@localhost]

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

------------------------------------------------------------------------------
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
_______________________________________________
pkgsrc-wip-discuss mailing list
pkgsrc-wip-discuss%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-discuss