Received: from mail.netbsd.org (mail.netbsd.org [204.152.190.11]) by narn.NetBSD.org (Postfix) with ESMTP id 4C02D63B8BC for ; Sun, 27 Apr 2008 10:46:18 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 0) id F02B063B23D; Sun, 27 Apr 2008 10:46:17 +0000 (UTC) Received: from cvs.netbsd.org (unknown [IPv6:2001:4f8:4:7:2e0:81ff:fe30:95bd]) by mail.netbsd.org (Postfix) with ESMTP id DC9FC63B23A for ; Sun, 27 Apr 2008 10:46:16 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id AF59B175D0; Sun, 27 Apr 2008 10:46:16 +0000 (UTC) From: Antoine Reilles Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: tonio@netbsd.org Message-Id: <20080427104616.AF59B175D0@cvs.netbsd.org> Date: Sun, 27 Apr 2008 10:46:16 +0000 (UTC) Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes Precedence: list Module Name: pkgsrc Committed By: tonio Date: Sun Apr 27 10:46:16 UTC 2008 Modified Files: pkgsrc/lang/coq: Makefile PLIST.opt Log Message: Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08 To generate a diff of this commit: cvs rdiff -r1.20 -r1.21 pkgsrc/lang/coq/Makefile cvs rdiff -r1.4 -r1.5 pkgsrc/lang/coq/PLIST.opt Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.