Subject: CVS commit: pkgsrc/lang/coq
From: Antoine Reilles
Date: 2008-04-27 12:46:16
Message id: 20080427104616.AF59B175D0@cvs.netbsd.org
Log Message:
Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08
Files:
RevisionActionfile
1.21modifypkgsrc/lang/coq/Makefile
1.5modifypkgsrc/lang/coq/PLIST.opt