Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "mail.NetBSD.org", Issuer "Postmaster NetBSD.org" (verified OK)) by mollari.NetBSD.org (Postfix) with ESMTPS id 5D8B1A5B19 for ; Sat, 26 Oct 2013 19:44:37 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id A447C14A277; Sat, 26 Oct 2013 19:44:36 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id F18F514A257 for ; Sat, 26 Oct 2013 19:44:34 +0000 (UTC) X-Virus-Scanned: amavisd-new at NetBSD.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.NetBSD.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id ofImQcj_tES7 for ; Sat, 26 Oct 2013 19:44:34 +0000 (UTC) Received: from cvs.netbsd.org (cvs.NetBSD.org [IPv6:2001:4f8:3:7:2e0:81ff:fe30:95bd]) by mail.netbsd.org (Postfix) with ESMTP id 849AE14A1D0 for ; Sat, 26 Oct 2013 19:44:34 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id 263C796; Sat, 26 Oct 2013 19:44:34 +0000 (UTC) Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" MIME-Version: 1.0 Date: Sat, 26 Oct 2013 19:44:34 +0000 From: "Aleksej Saushev" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: asau@netbsd.org X-Mailer: log_accum Message-Id: <20131026194434.263C796@cvs.netbsd.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk Module Name: pkgsrc Committed By: asau Date: Sat Oct 26 19:44:34 UTC 2013 Modified Files: pkgsrc/lang/coq: distinfo Added Files: pkgsrc/lang/coq/patches: patch-configure Log Message: Accept GNU Make 4 and later. To generate a diff of this commit: cvs rdiff -u -r1.16 -r1.17 pkgsrc/lang/coq/distinfo cvs rdiff -u -r0 -r1.1 pkgsrc/lang/coq/patches/patch-configure Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.