From owner-cvs-all@FreeBSD.ORG  Mon Dec  5 09:46:47 2005
Return-Path: <owner-cvs-all@FreeBSD.ORG>
X-Original-To: cvs-all@FreeBSD.org
Delivered-To: cvs-all@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id A93DE16A41F;
	Mon,  5 Dec 2005 09:46:47 +0000 (GMT)
	(envelope-from kris@obsecurity.org)
Received: from elvis.mu.org (elvis.mu.org [192.203.228.196])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 3A7F343D5E;
	Mon,  5 Dec 2005 09:46:47 +0000 (GMT)
	(envelope-from kris@obsecurity.org)
Received: from obsecurity.dyndns.org (elvis.mu.org [192.203.228.196])
	by elvis.mu.org (Postfix) with ESMTP id 278851A3C2D;
	Mon,  5 Dec 2005 01:46:46 -0800 (PST)
Received: by obsecurity.dyndns.org (Postfix, from userid 1000)
	id 42ED854A48; Mon,  5 Dec 2005 04:46:45 -0500 (EST)
Date: Mon, 5 Dec 2005 04:46:44 -0500
From: Kris Kennaway <kris@obsecurity.org>
To: Volker Stolz <vs@FreeBSD.org>
Message-ID: <20051205094644.GB37292@xor.obsecurity.org>
References: <200512050916.jB59G8fQ009481@repoman.freebsd.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="zx4FCpZtqtKETZ7O"
Content-Disposition: inline
In-Reply-To: <200512050916.jB59G8fQ009481@repoman.freebsd.org>
User-Agent: Mutt/1.4.2.1i
Cc: cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org, ports-committers@FreeBSD.org
Subject: Re: cvs commit: ports/math/coq Makefile
X-BeenThere: cvs-all@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the entire tree <cvs-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-all>,
	<mailto:cvs-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-all>
List-Post: <mailto:cvs-all@freebsd.org>
List-Help: <mailto:cvs-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-all>,
	<mailto:cvs-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Dec 2005 09:46:48 -0000


--zx4FCpZtqtKETZ7O
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Dec 05, 2005 at 09:16:08AM +0000, Volker Stolz wrote:
> vs          2005-12-05 09:16:08 UTC
>=20
>   FreeBSD ports repository
>=20
>   Modified files:
>     math/coq             Makefile=20
>   Log:
>   Enable IDE by default.

Should probably have a portrevision bump.

Kris

--zx4FCpZtqtKETZ7O
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (FreeBSD)

iD8DBQFDlAyEWry0BWjoQKURAisOAKCGRlSgEZbBoIWW9Gzwka158+lE8gCfaDox
KbO6fHRGenZcJvfrZMGcZt0=
=+OJR
-----END PGP SIGNATURE-----

--zx4FCpZtqtKETZ7O--