pkgsrc-changes: CVS commit: pkgsrc/lang

Subject: CVS commit: pkgsrc/lang
To: None <pkgsrc-changes@netbsd.org>
From: Krister Walfridsson <kristerw@netbsd.org>
List: pkgsrc-changes
Date: 03/22/2003 22:23:06

Module Name:	pkgsrc
Committed By:	kristerw
Date:		Sat Mar 22 20:23:05 UTC 2003

Modified Files:
	pkgsrc/lang: Makefile

Log Message:
Add and enable coq.


To generate a diff of this commit:
cvs rdiff -r1.147 -r1.148 pkgsrc/lang/Makefile

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