| Newsgroups |
gmane.os.netbsd.devel.pkgsrc.wip.general |
| Message-ID |
<[email protected]> |
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" <[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?
> 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® 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