Re: CVS commit: wip/coq
Antoine Reilles <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.wip.general |
|---|---|
| Message-ID | <20100312180702.GA26176@NC10> |
On Thu, Mar 11, 2010 at 03:47:54PM -0500, [email protected] 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" <[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... 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 ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-discuss
signature.asc
(application/pgp-signature, 187 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (NetBSD) iD8DBQFLmoLG4VqmoGDE/mwRAmuOAJ9qu077PHxFhKP3hfqnulatsCZ2awCdE2// MSzHrZ9QI+30nRkxFiZvv3o= =Lgpj -----END PGP SIGNATURE-----