From owner-cvs-all@FreeBSD.ORG Mon Mar 16 09:42:38 2009 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 6F3531065674; Mon, 16 Mar 2009 09:42:38 +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 457988FC15; Mon, 16 Mar 2009 09:42:38 +0000 (UTC) (envelope-from johans@FreeBSD.org) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.3/8.14.3) with ESMTP id n2G9gc3T083612; Mon, 16 Mar 2009 09:42:38 GMT (envelope-from johans@repoman.freebsd.org) Received: (from johans@localhost) by repoman.freebsd.org (8.14.3/8.14.3/Submit) id n2G9gclC083611; Mon, 16 Mar 2009 09:42:38 GMT (envelope-from johans) Message-Id: <200903160942.n2G9gclC083611@repoman.freebsd.org> From: Johan van Selst Date: Mon, 16 Mar 2009 09:42:38 +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 pkg-plist X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 16 Mar 2009 09:42:39 -0000 johans 2009-03-16 09:42:38 UTC FreeBSD ports repository Modified files: math/coq pkg-plist Log: Fix pkg-plist Reported by: QAT Revision Changes Path 1.10 +1 -0 ports/math/coq/pkg-plist