Subject: CVS commit: pkgsrc/lang/coq
From: Antoine Reilles
Date: 2010-11-07 16:39:55
Message id: 20101107153955.E11D1175DD@cvs.netbsd.org
Log Message:
Make it build with newer gmake
Files:
RevisionActionfile
1.11modifypkgsrc/lang/coq/distinfo
1.3modifypkgsrc/lang/coq/patches/patch-ab