Date: Tue, 9 Nov 2010 07:09:26 +0000 (UTC) From: Johan van Selst <johans@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/coq Makefile distinfo pkg-plist ports/math/coq/files ide-coqide.diff Message-ID: <201011090709.oA979Qf8096573@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
johans 2010-11-09 07:09:26 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Added files:
math/coq/files ide-coqide.diff
Log:
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
Revision Changes Path
1.25 +6 -10 ports/math/coq/Makefile
1.11 +2 -3 ports/math/coq/distinfo
1.1 +47 -0 ports/math/coq/files/ide-coqide.diff (new)
1.11 +357 -189 ports/math/coq/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201011090709.oA979Qf8096573>