Subject: CVS commit: pkgsrc/lang/coq
From: Aleksej Saushev
Date: 2013-10-26 21:44:34
Message id: 20131026194434.263C796@cvs.netbsd.org
Log Message:
Accept GNU Make 4 and later.
Files:
RevisionActionfile
1.17modifypkgsrc/lang/coq/distinfo
1.1addpkgsrc/lang/coq/patches/patch-configure