Module Name:	pkgsrc
Committed By:	tonio
Date:		Mon Jan 16 14:34:34 UTC 2006

Modified Files:
	pkgsrc/lang/coq: Makefile distinfo
	pkgsrc/lang/coq/patches: patch-aa

Log Message:
Make lang/coq compile with ocaml 3.09
by applying the patch distributed by the coq team
Bump PKGREVISION, and require ocaml >= 3.09


To generate a diff of this commit:
cvs rdiff -r1.10 -r1.11 pkgsrc/lang/coq/Makefile
cvs rdiff -r1.3 -r1.4 pkgsrc/lang/coq/distinfo
cvs rdiff -r1.2 -r1.3 pkgsrc/lang/coq/patches/patch-aa

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