From owner-cvs-ports@FreeBSD.ORG Mon Jul 30 07:36:01 2007 Return-Path: Delivered-To: cvs-ports@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id B3D8A16A418; Mon, 30 Jul 2007 07:36:01 +0000 (UTC) (envelope-from johans@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 92B2013C491; Mon, 30 Jul 2007 07:36:01 +0000 (UTC) (envelope-from johans@FreeBSD.org) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.1/8.14.1) with ESMTP id l6U7a11A058045; Mon, 30 Jul 2007 07:36:01 GMT (envelope-from johans@repoman.freebsd.org) Received: (from johans@localhost) by repoman.freebsd.org (8.14.1/8.14.1/Submit) id l6U7a1oa058044; Mon, 30 Jul 2007 07:36:01 GMT (envelope-from johans) Message-Id: <200707300736.l6U7a1oa058044@repoman.freebsd.org> From: Johan van Selst Date: Mon, 30 Jul 2007 07:36:01 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/math/coq Makefile distinfo pkg-plist X-BeenThere: cvs-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 30 Jul 2007 07:36:01 -0000 johans 2007-07-30 07:36:01 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo pkg-plist Log: Update to 8.1.1 (bugfix release) Revision Changes Path 1.15 +5 -3 ports/math/coq/Makefile 1.7 +3 -3 ports/math/coq/distinfo 1.7 +2 -0 ports/math/coq/pkg-plist