Subject: CVS commit: pkgsrc/lang/coq
From: Antoine Reilles
Date: 2006-01-16 15:34:34
Message id: 20060116143434.E61EF2DA27@cvs.netbsd.org
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
Files:
RevisionActionfile
1.11modifypkgsrc/lang/coq/Makefile
1.4modifypkgsrc/lang/coq/distinfo
1.3modifypkgsrc/lang/coq/patches/patch-aa