Re: CVS commit: wip/coq
Antoine Reilles <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.wip.general |
|---|---|
| Message-ID | <20100311180846.GA25186@NC10> |
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 ... ------------------------------------------------------------------------------ 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) iD4DBQFLmTGu4VqmoGDE/mwRAhfJAJ9cZtJyXbHWC6WErgAKkXpVZlLDggCTBTO2 WckWlBQ7C7N8LFSKtjppqg== =5haY -----END PGP SIGNATURE-----