Subject: CVS commit: pkgsrc/lang/coq
From: Antoine Reilles
Date: 2007-01-17 12:14:46
Message id: 20070117111446.DF7A0211CA@cvs.netbsd.org
Log Message:
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies
Files:
RevisionActionfile
1.15modifypkgsrc/lang/coq/Makefile
1.4modifypkgsrc/lang/coq/PLIST
1.4modifypkgsrc/lang/coq/PLIST.opt