Date: Mon, 5 Dec 2005 17:18:35 -0500 From: Kris Kennaway <kris@obsecurity.org> To: Volker Stolz <vs@FreeBSD.org> Cc: cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org, ports-committers@FreeBSD.org Subject: Re: cvs commit: ports/math/coq Makefile Message-ID: <20051205221835.GA51009@xor.obsecurity.org> In-Reply-To: <200512050949.jB59nNNl010562@repoman.freebsd.org> References: <200512050949.jB59nNNl010562@repoman.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--rwEMma7ioTxnRzrJ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Dec 05, 2005 at 09:49:23AM +0000, Volker Stolz wrote: > vs 2005-12-05 09:49:23 UTC >=20 > FreeBSD ports repository >=20 > Modified files: > math/coq Makefile=20 > Log: > Bump PORTREVISION to regenerate the package with the newly enabled IDE = on the cluster > =20 > Suggested by: kris Actually it's not for the cluster (which checks for differences in the dependency lists), but for portupgrade on user systems (which doesn't). Kris --rwEMma7ioTxnRzrJ Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (FreeBSD) iD8DBQFDlLy7Wry0BWjoQKURAvbnAJ93O6kT46Agvv6ZK332dLvOxeX08wCeKR8B rO5zO4O/xQwjlHMHFJnrKBI= =8T0J -----END PGP SIGNATURE----- --rwEMma7ioTxnRzrJ--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20051205221835.GA51009>