Date: Sun, 25 Mar 2007 18:44:34 +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: <200703251844.l2PIiYeL033650@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
johans 2007-03-25 18:44:34 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo pkg-plist Log: - Update to 8.1 - Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore Revision Changes Path 1.13 +6 -7 ports/math/coq/Makefile 1.6 +3 -6 ports/math/coq/distinfo 1.6 +128 -264 ports/math/coq/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200703251844.l2PIiYeL033650>