Subject: CVS commit: pkgsrc/lang/coq
To: None <>
From: Antoine Reilles <>
List: pkgsrc-changes
Date: 01/17/2007 11:14:46
Module Name:	pkgsrc
Committed By:	tonio
Date:		Wed Jan 17 11:14:46 UTC 2007

Modified Files:
	pkgsrc/lang/coq: Makefile PLIST PLIST.opt

Log Message:
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies

To generate a diff of this commit:
cvs rdiff -r1.14 -r1.15 pkgsrc/lang/coq/Makefile
cvs rdiff -r1.3 -r1.4 pkgsrc/lang/coq/PLIST pkgsrc/lang/coq/PLIST.opt

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.