Date: Sun, 6 Apr 2008 17:40:47 +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 Message-ID: <200804061740.m36HelDX099020@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
johans 2008-04-06 17:40:47 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Log:
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Revision Changes Path
1.16 +3 -4 ports/math/coq/Makefile
1.8 +3 -3 ports/math/coq/distinfo
1.8 +1 -0 ports/math/coq/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200804061740.m36HelDX099020>