Module Name:	pkgsrc
Committed By:	kristerw
Date:		Sat Mar 22 20:16:09 UTC 2003

Modified Files:
	pkgsrc/math: Makefile
Removed Files:
	pkgsrc/math/coq: DESCR MESSAGE Makefile PLIST PLIST.opt distinfo
	pkgsrc/math/coq/patches: patch-aa

Log Message:
By popular demand, move coq from math to lang in order to be consistent
with prior art (e.g. lang/twelf).


To generate a diff of this commit:
cvs rdiff -r1.98 -r1.99 pkgsrc/math/Makefile
cvs rdiff -r1.1.1.1 -r0 pkgsrc/math/coq/DESCR pkgsrc/math/coq/MESSAGE \
    pkgsrc/math/coq/Makefile pkgsrc/math/coq/PLIST pkgsrc/math/coq/PLIST.opt \
    pkgsrc/math/coq/distinfo
cvs rdiff -r1.1.1.1 -r0 pkgsrc/math/coq/patches/patch-aa

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