From owner-cvs-all@FreeBSD.ORG Sun Mar 25 09:21:05 2012 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 EF333106566C; Sun, 25 Mar 2012 09:21:05 +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 DA0DA8FC2A; Sun, 25 Mar 2012 09:21:05 +0000 (UTC) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.4/8.14.4) with ESMTP id q2P9L5L9097588; Sun, 25 Mar 2012 09:21:05 GMT (envelope-from johans@repoman.freebsd.org) Received: (from johans@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id q2P9L54J097587; Sun, 25 Mar 2012 09:21:05 GMT (envelope-from johans) Message-Id: <201203250921.q2P9L54J097587@repoman.freebsd.org> From: Johan van Selst Date: Sun, 25 Mar 2012 09:21:05 +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 ports/math/coq/files ide-coqide.diff patch-coq-camlp5-605 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: Sun, 25 Mar 2012 09:21:06 -0000 johans 2012-03-25 09:21:05 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo pkg-plist Added files: math/coq/files patch-coq-camlp5-605 Removed files: math/coq/files ide-coqide.diff Log: - Update coq to 8.3.3 - Fix build with new camlp5 (patch from official repo) - Remove BROKEN tag Feature safe: yes Revision Changes Path 1.33 +1 -5 ports/math/coq/Makefile 1.14 +2 -2 ports/math/coq/distinfo 1.2 +0 -47 ports/math/coq/files/ide-coqide.diff (dead) 1.1 +357 -0 ports/math/coq/files/patch-coq-camlp5-605 (new) 1.12 +1 -0 ports/math/coq/pkg-plist