Subject: CVS commit: pkgsrc/lang/coq
From: Aleksej Saushev
Date: 2009-12-12 22:12:43
Message id: 20091212211243.869A8175DD@cvs.netbsd.org
Log Message:
Support staged installation.
Files:
RevisionActionfile
1.24modifypkgsrc/lang/coq/Makefile
1.10modifypkgsrc/lang/coq/distinfo
1.1addpkgsrc/lang/coq/patches/patch-ad